diff options
| author | Pierre-Marie Pédrot | 2021-01-20 18:47:51 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2021-01-20 22:22:28 +0100 |
| commit | ae46681fcd8c07d4feca66c0940c83446791d8b0 (patch) | |
| tree | e9be7eb8e8ed783f47d85dab6bb13c34d22ab105 /kernel/nativelambda.ml | |
| parent | 73b3be7a2a4a0fd10d08aa0ca1e16050dc609943 (diff) | |
Inline the function in contract_[co]fix_use_function.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions