diff options
Diffstat (limited to 'library/declaremods.mli')
| -rw-r--r-- | library/declaremods.mli | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/library/declaremods.mli b/library/declaremods.mli index 5c228d1612..9edd051cad 100644 --- a/library/declaremods.mli +++ b/library/declaremods.mli @@ -31,12 +31,6 @@ val declare_module : val start_module : (env -> 'modtype -> module_type_entry) -> identifier -> (identifier list * 'modtype) list -> 'modtype option -> unit -(*val declare_module : identifier -> module_entry -> unit - -val start_module : - identifier -> identifier list -> (mod_bound_id * module_type_entry) list - -> module_type_entry option -> unit -*) val end_module : identifier -> unit |