module Includeclass

val class_types : Env.t -> Types.class_type -> Types.class_type -> Ctype.class_match_failure list

val class_type_declarations : Env.t -> Types.class_type_declaration -> Types.class_type_declaration -> Ctype.class_match_failure list

val class_declarations : Env.t -> Types.class_declaration -> Types.class_declaration -> Ctype.class_match_failure list

val report_error : Format.formatter -> Ctype.class_match_failure list -> unit