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