Module Includecore

val value_descriptions : Env.t -> Types.value_description -> Types.value_description -> Typedtree.module_coercion

val type_declarations : ?equality:bool -> Env.t -> string -> Types.type_declaration -> Ident.t -> Types.type_declaration -> type_mismatch list

val extension_constructors : Env.t -> Ident.t -> Types.extension_constructor -> Types.extension_constructor -> bool

val report_type_mismatch : string -> string -> string -> Format.formatter -> type_mismatch list -> unit