package ocaml-base-compiler
Module Printtyp.Subtype
val report_error :
Format.formatter ->
Env.t ->
Errortrace.Subtype.t ->
string ->
Errortrace.unification Errortrace.t ->
unitPrinttyp.Subtypeval report_error :
Format.formatter ->
Env.t ->
Errortrace.Subtype.t ->
string ->
Errortrace.unification Errortrace.t ->
unit