Up

module Mtype

: sig
#
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
end