Hashcons.MakeRec
Create a new hashconsing, given canonicalization functions. hashcons
will get the resulting hcons
as first argument.
module X : HashconsedRecType
type t = X.t
Type of objects to hashcons.
val generate : unit -> table
This create a hashtable of the hashconsed objects.
Perform the hashconsing of the given object within the table, and returns the hash.
val stats : table -> Hashset.statistics
Recover statistics of the hashconsing table.