Out_type.Internal_names
Register internal typechecker names ($0,$a) appearing in the outcometree
$0
$a
outcometree
val add : Path.t -> unit
val reset : unit -> unit
val print_explanations : Env.t -> Format_doc.formatter -> unit