module Binding:sig
..end
val add : 'a Type.t -> 'a -> string -> unit
add ty v var
binds the value v
to the variable name var
. Thus,
pp ty v
prints var
and not use the standard pretty printer. Very
useful to pretty print values with no associated pretty printer.exception Name_already_exists of string
val add_once : 'a Type.t -> 'a -> string -> unit
add
above but raise the exception Already_exists
if the binding previously exists