diff options
Diffstat (limited to 'typing/mtype.mli')
| -rw-r--r-- | typing/mtype.mli | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/typing/mtype.mli b/typing/mtype.mli index abb66b9696..b15b09ec9c 100644 --- a/typing/mtype.mli +++ b/typing/mtype.mli @@ -30,6 +30,10 @@ val nondep_supertype: Env.t -> Ident.t -> module_type -> module_type (* Return the smallest supertype of the given type in which the given ident does not appear. Raise [Not_found] if no such type exists. *) +val no_code_needed: Env.t -> module_type -> bool +val no_code_needed_sig: Env.t -> signature -> bool + (* Determine whether a module needs no implementation code, + i.e. consists only of type definitions. *) val enrich_modtype: Env.t -> Path.t -> module_type -> module_type val enrich_typedecl: Env.t -> Path.t -> type_declaration -> type_declaration val type_paths: Env.t -> Path.t -> module_type -> Path.t list |