diff options
Diffstat (limited to 'kernel/declarations.mli')
| -rw-r--r-- | kernel/declarations.mli | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/kernel/declarations.mli b/kernel/declarations.mli index 574cb04fa..eeec64875 100644 --- a/kernel/declarations.mli +++ b/kernel/declarations.mli @@ -107,7 +107,8 @@ and module_expr_body = | MEBapply of module_expr_body * module_expr_body * constraints -and module_specification_body = module_type_body * module_path option +and module_specification_body = + module_type_body * module_path option * constraints and structure_elem_body = | SEBconst of constant_body @@ -119,9 +120,10 @@ and module_structure_body = (label * structure_elem_body) list and module_body = { mod_expr : module_expr_body option; - mod_user_type : (module_type_body * constraints) option; + mod_user_type : module_type_body option; mod_type : module_type_body; - mod_equiv : module_path option } + mod_equiv : module_path option; + mod_constraints : constraints } |