package ocaml-base-compiler
val type_module : Env.t -> Parsetree.module_expr -> Typedtree.module_exprval type_structure :
Env.t ->
Parsetree.structure ->
Location.t ->
Typedtree.structure * Types.signature * Env.tval type_toplevel_phrase :
Env.t ->
Parsetree.structure ->
Typedtree.structure * Types.signature * Env.tval type_implementation :
string ->
string ->
string ->
Env.t ->
Parsetree.structure ->
Typedtree.structure * Typedtree.module_coercionval type_interface :
string ->
Env.t ->
Parsetree.signature ->
Typedtree.signatureval transl_signature : Env.t -> Parsetree.signature -> Typedtree.signatureval check_nongen_schemes : Env.t -> Types.signature -> unitval type_open_ :
?toplevel:bool ->
Asttypes.override_flag ->
Env.t ->
Location.t ->
Longident.t Asttypes.loc ->
Path.t * Env.tval modtype_of_package :
Env.t ->
Location.t ->
Path.t ->
Longident.t list ->
Types.type_expr list ->
Types.module_typeval simplify_signature : Types.signature -> Types.signatureval path_of_module : Typedtree.module_expr -> Path.t optionval save_signature :
string ->
Typedtree.signature ->
string ->
string ->
Env.t ->
Cmi_format.cmi_infos ->
unitval package_units :
Env.t ->
string list ->
string ->
string ->
Typedtree.module_coerciontype error = | Cannot_apply of Types.module_type| Not_included of Includemod.error list| Cannot_eliminate_dependency of Types.module_type| Signature_expected| Structure_expected of Types.module_type| With_no_component of Longident.t| With_mismatch of Longident.t * Includemod.error list| Repeated_name of string * string| Non_generalizable of Types.type_expr| Non_generalizable_class of Ident.t * Types.class_declaration| Non_generalizable_module of Types.module_type| Implementation_is_required of string| Interface_not_compiled of string| Not_allowed_in_functor_body| With_need_typeconstr| Not_a_packed_module of Types.type_expr| Incomplete_packed_module of Types.type_expr| Scoping_pack of Longident.t * Types.type_expr| Recursive_module_require_explicit_type| Apply_generative| Cannot_scrape_alias of Path.t
exception Error of Location.t * Env.t * errorexception Error_forward of Location.errorval report_error : Env.t -> Format.formatter -> error -> unitmodule ImplementationHooks :
Misc.HookSig with type t = Typedtree.structure * Typedtree.module_coercionmodule InterfaceHooks : Misc.HookSig with type t = Typedtree.signature