Includeclass (ocaml.Includeclass)

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

val class_type_declarations : 
  loc:Location.t ->
  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 : 
  Out_type.type_or_scheme ->
  Ctype.class_match_failure list Format_doc.format_printer

val report_error_doc : 
  Out_type.type_or_scheme ->
  Ctype.class_match_failure list Format_doc.printer