package ocaml-solo5

You can search for identifiers within the package.

in-package search v0.2.0

Module `Printtyp.Subtype`

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