package ocaml-compiler

  1. Overview
  2. Docs
package ocaml-compiler
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Out_type.Internal_names

Register internal typechecker names ($0,$a) appearing in the outcometree

val add : Path.t -> unit
val reset : unit -> unit
val print_explanations : Env.t -> Format_doc.formatter -> unit