Hashcons.Hlist
Hashconsing of lists.
module D : HashedType
type t = D.t list
Type of objects to hashcons.
val generate : unit -> table
This create a hashtable of the hashconsed objects.
val stats : table -> Hashset.statistics
Recover statistics of the hashconsing table.