Hconsing.S
Hashconsed values
This signature defines a hashconsing module, used to implement maximal sharing of hashconsed values.
type t
The type of value used.
val make : t -> t
Hashcons a value t, either returning t, or a value equal to t that was hashconsed previously.
t
val elements : unit -> t list
Returns the list of all unique hashconsed elements.