• en

Module Mtype

val scrape : Env.t -> Types.module_type -> Types.module_type
val freshen : Types.module_type -> Types.module_type
val strengthen : Env.t -> Types.module_type -> Path.t -> Types.module_type
val strengthen_decl : Env.t -> Types.module_declaration -> Path.t -> Types.module_declaration
val nondep_supertype : Env.t -> Ident.t -> Types.module_type -> Types.module_type
val no_code_needed : Env.t -> Types.module_type -> bool
val no_code_needed_sig : Env.t -> Types.signature -> bool
val enrich_modtype : Env.t -> Path.t -> Types.module_type -> Types.module_type
val enrich_typedecl : Env.t -> Path.t -> Types.type_declaration -> Types.type_declaration
val type_paths : Env.t -> Path.t -> Types.module_type -> Path.t list
val contains_type : Env.t -> Types.module_type -> bool
val remove_aliases : Env.t -> Types.module_type -> Types.module_type