Functor Hashcons.Make

module Make (X : HashedType) : S  with type elt = X.t

Parameters:

X : HashedType

type elt

Hashconsed objects

val hashcons : elt -> elt

Hashcons the elements

val mem : elt -> bool

Is the element present in this table?

val fresh_unique_id : unit -> int

Unique ID that will never occur again in this table (modulo 2^63...)

val stats : unit -> int * int * int * int * int * int