Module `Printtyp.Subtype`

val report_error : 
  Format.formatter ->
  Env.t ->
  Errortrace.Subtype.error ->
  string ->
  unit