Hashcons.S
type elt
Hashconsed objects
val hashcons : elt -> elt
Hashcons the elements
val mem : elt -> bool
Is the element present in this table?
val fresh_unique_id : unit -> int
Unique ID that will never occur again in this table (modulo 2^63...)
val stats : unit -> int * int * int * int * int * int