Functor Hashcons.Make_consed (.ml)

hashcons n f hash-cons the value n using function f i.e. returns any existing value in the table equal to n, if any; otherwise, creates a new value with function f, stores it in the table and returns it. Function f is passed the node n as first argument and the unique id as second argument.

iter f iterates f over all elements of the table .

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.