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 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