package ocaml-base-compiler

  1. Overview
  2. Docs
val scrape_for_functor_arg : Env.t -> Types.module_type -> Types.module_type
val scrape_for_type_of : remove_aliases:bool -> Env.t -> Types.module_type -> Types.module_type
val strengthen : aliasable:bool -> Env.t -> Types.module_type -> Path.t -> Types.module_type
val strengthen_decl : aliasable:bool -> 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 type_paths : Env.t -> Path.t -> Types.module_type -> Path.t list
val contains_type : Env.t -> Types.module_type -> bool
val lower_nongen : int -> Types.module_type -> unit