Ocaml_typing.Mtypeval scrape : Env.t -> Types.module_type -> Types.module_typeval scrape_alias : Env.t -> Types.module_type -> Types.module_typeval reduce_lazy :
Env.t ->
Subst.Lazy.module_type ->
Subst.Lazy.module_type optionval reduce_alias_lazy :
Env.t ->
Subst.Lazy.module_type ->
Subst.Lazy.module_type optionval reduce : Env.t -> Types.module_type -> Types.module_type optionval scrape_for_functor_arg : Env.t -> Types.module_type -> Types.module_typeval scrape_for_type_of :
remove_aliases:bool ->
Env.t ->
Types.module_type ->
Types.module_typeval freshen : scope:int -> Types.module_type -> Types.module_typeval strengthen_lazy :
aliasable:bool ->
Subst.Lazy.module_type ->
Path.t ->
Subst.Lazy.module_typeval strengthen :
aliasable:bool ->
Types.module_type ->
Path.t ->
Types.module_typeval strengthen_lazy_decl :
aliasable:bool ->
Subst.Lazy.module_declaration ->
Path.t ->
Subst.Lazy.module_declarationval strengthen_decl :
aliasable:bool ->
Types.module_declaration ->
Path.t ->
Types.module_declarationval find_type_of_module :
strengthen:bool ->
aliasable:bool ->
Env.t ->
Path.t ->
Types.module_typeval expand_to : Env.t -> Types.signature -> Path.t list -> Types.signatureval sig_make_manifest : Types.signature -> Types.signatureval nondep_supertype :
Env.t ->
Ident.t list ->
Types.module_type ->
Types.module_typeval nondep_sig : Env.t -> Ident.t list -> Types.signature -> Types.signatureval nondep_sig_item :
Env.t ->
Ident.t list ->
Types.signature_item ->
Types.signature_itemval no_code_needed : Env.t -> Types.module_type -> boolval no_code_needed_sig : Env.t -> Types.signature -> boolval enrich_modtype : Env.t -> Path.t -> Types.module_type -> Types.module_typeval enrich_typedecl :
Env.t ->
Path.t ->
Ident.t ->
Types.type_declaration ->
Types.type_declarationval type_paths : Env.t -> Path.t -> Types.module_type -> Path.t listval contains_type : Env.t -> Types.module_type -> boolval lower_nongen : int -> Types.module_type -> unit