Hash tables for hash consing.
Hash consed values are of the following type hash_consed. The field tag contains a unique integer (for values hash consed with the same table). The field hkey contains the hash key of the value (without modulo) for possible use in other hash tables (and internally when hash consing tables are resized). The field node contains the value itself.
Hash consing tables are using weak pointers, so that values that are no more referenced from anywhere else can be erased by the GC.
val create : int -> 'a tcreate n creates an empty table of initial size n. The table will grow as needed.
val clear : 'a t -> unitcreate n creates an empty table of initial size n. The table will grow as needed.
Removes all elements from the table.
val hashcons : 'a t -> 'a -> 'a hash_consedRemoves all elements from the table.
hashcons t n hash-cons the value n using table t i.e. returns any existing value in t equal to n, if any; otherwise, allocates a new one hash-consed value of node n and returns it. As a consequence the returned value is physically equal to any equal value already hash-consed using table t.
val iter : ('a hash_consed -> unit) -> 'a t -> unithashcons t n hash-cons the value n using table t i.e. returns any existing value in t equal to n, if any; otherwise, allocates a new one hash-consed value of node n and returns it. As a consequence the returned value is physically equal to any equal value already hash-consed using table t.
iter f t iterates f over all elements of t.
val stats : 'a t -> int * int * int * int * int * intiter f t iterates f over all elements of t.
Return statistics on the table. The numbers are, in order: table length, number of entries, sum of bucket lengths, smallest bucket length, median bucket length, biggest bucket length.
Functorial interface.
module type HashedType = sig ... endmodule type S = sig ... end