package typerex-build

  1. Overview
  2. Docs
type subst
val empty_subst : unit -> subst
val add_to_subst : subst -> string -> string -> unit
val add_to_copy : subst -> string -> string -> subst
val subst_of_list : (string * string) list -> subst
val subst : subst -> string -> int * string
val iter_subst : subst -> string -> int * string
module M : sig ... end
module Static : sig ... end