diff options
| author | Emilio Jesus Gallego Arias | 2019-09-03 16:42:53 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-09-18 16:16:08 +0200 |
| commit | cca4665778dd799e5802594761e13b8d53502824 (patch) | |
| tree | 38105676715268d8d3fcaf4b0cb98caf3d5c8ed1 /kernel/nativecode.mli | |
| parent | 42ff3109217452853c3b853d21f09a317dd6e37d (diff) | |
[declaremods] Remove abstraction layer over module interpretation.
Now that we place imperative module declaration on top of module
interpretation we can remove the abstraction layer used in
`Declaremods`, so the `interp_modast` parameter goes away.
Improvement suggested by Gaëtan Gilbert.
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions