Includeclass (melange.Melange_compiler

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 : 
  Printtyp.type_or_scheme ->
  Stdlib.Format.formatter ->
  Ctype.class_match_failure list ->
  unit