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