package ocaml-base-compiler
val modtypes :
Env.t ->
Types.module_type ->
Types.module_type ->
Typedtree.module_coercionval signatures :
Env.t ->
Types.signature ->
Types.signature ->
Typedtree.module_coercionval compunit :
Env.t ->
string ->
Types.signature ->
string ->
Types.signature ->
Typedtree.module_coercionval type_declarations :
Env.t ->
Ident.t ->
Types.type_declaration ->
Types.type_declaration ->
unitval print_coercion : Format.formatter -> Typedtree.module_coercion -> unittype symptom = | Missing_field of Ident.t * Location.t * string| Value_descriptions of Ident.t * Types.value_description * Types.value_description| Type_declarations of Ident.t * Types.type_declaration * Types.type_declaration * Includecore.type_mismatch list| Extension_constructors of Ident.t * Types.extension_constructor * Types.extension_constructor| Module_types of Types.module_type * Types.module_type| Modtype_infos of Ident.t * Types.modtype_declaration * Types.modtype_declaration| Modtype_permutation| Interface_mismatch of string * string| Class_type_declarations of Ident.t * Types.class_type_declaration * Types.class_type_declaration * Ctype.class_match_failure list| Class_declarations of Ident.t * Types.class_declaration * Types.class_declaration * Ctype.class_match_failure list| Unbound_modtype_path of Path.t| Unbound_module_path of Path.t| Invalid_module_alias of Path.t
exception Error of error listval report_error : Format.formatter -> error list -> unitval expand_module_alias : Env.t -> pos list -> Path.t -> Types.module_type