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