Module Journal.Binding

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
Same as function add above but raise the exception Already_exists if the binding previously exists