Includeclass (melange.Melange_compiler

let class_types: 
  Env.t =>
  Types.class_type =>
  Types.class_type =>
  list(Ctype.class_match_failure);

let class_type_declarations: 
  loc:Location.t =>
  Env.t =>
  Types.class_type_declaration =>
  Types.class_type_declaration =>
  list(Ctype.class_match_failure);

let class_declarations: 
  Env.t =>
  Types.class_declaration =>
  Types.class_declaration =>
  list(Ctype.class_match_failure);

let report_error: 
  Printtyp.type_or_scheme =>
  Stdlib.Format.formatter =>
  list(Ctype.class_match_failure) =>
  unit;