diff options
| author | Maxime Dénès | 2018-10-30 12:46:11 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2018-10-30 13:10:02 +0100 |
| commit | 0f7462cc5f8676edaa6b7052edaad40e32fc8234 (patch) | |
| tree | b9d59d80058a859d9fbfa0f245e32ccf70ba1d8c /kernel/nativecode.mli | |
| parent | 365f14bdb87f6f323d635267f69f507b540ef2a8 (diff) | |
Reduction functions based on CClosure should take an env
This is because the env contains typing flags (such as sharing
strategy).
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions