jon.recoil.org

Module Printtyp.Subtype

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