Module Printtyp.Subtype
val report_error :
Format_doc.formatter ->
Env.t ->
Errortrace.Subtype.error ->
string ->
unitPrinttyp.Subtypeval report_error :
Format_doc.formatter ->
Env.t ->
Errortrace.Subtype.error ->
string ->
unit