Hashcons.S
type t
Type of objects to hashcons.
type table
Type of hashconsing tables
val generate : unit -> table
This create a hashtable of the hashconsed objects.
val hcons : table -> t -> t
Perform the hashconsing of the given object within the table.
val stats : table -> Hashset.statistics
Recover statistics of the hashconsing table.