diff options
Diffstat (limited to 'interp')
| -rw-r--r-- | interp/topconstr.ml | 2 | ||||
| -rw-r--r-- | interp/topconstr.mli | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/interp/topconstr.ml b/interp/topconstr.ml index d93e1ab140..a20cd1bc23 100644 --- a/interp/topconstr.ml +++ b/interp/topconstr.ml @@ -1009,6 +1009,8 @@ type module_ast = | CMapply of module_ast * module_ast | CMwith of module_ast * with_declaration_ast +type module_ast_inl = module_ast * bool (* honor the inline annotations or not *) + type 'a module_signature = | Enforce of 'a (* ... : T *) | Check of 'a list (* ... <: T1 <: T2, possibly empty *) diff --git a/interp/topconstr.mli b/interp/topconstr.mli index 1b1698f956..3b5832f18c 100644 --- a/interp/topconstr.mli +++ b/interp/topconstr.mli @@ -246,6 +246,8 @@ type module_ast = | CMapply of module_ast * module_ast | CMwith of module_ast * with_declaration_ast +type module_ast_inl = module_ast * bool (* honor the inline annotations or not *) + type 'a module_signature = | Enforce of 'a (* ... : T *) | Check of 'a list (* ... <: T1 <: T2, possibly empty *) |