Module Hc.Mk_thread_safeSource

The type of value that are being hash-consed.

Removes all elements from the table.

hashcons v hash-cons the value v, i.e. returns any existing value equal to v that has already been hash-consed, if any; otherwise, allocates a new hash-consed value with v as a node and returns it. As a consequence the returned value is physically equal to any equal value already hash-consed.

Return statistics about the hash-consing table.

The number of hash-consed values.