Includeclassval class_types : Env.t -> Types.class_type -> Types.class_type -> Ctype.class_match_failure listval class_type_declarations : loc:Location.t -> Env.t -> Types.class_type_declaration -> Types.class_type_declaration -> Ctype.class_match_failure listval class_declarations : Env.t -> Types.class_declaration -> Types.class_declaration -> Ctype.class_match_failure listval report_error : Format.formatter -> Ctype.class_match_failure list -> unit