Module `Logtk.Hashcons`

Hashconsing

module type HashedType = sig ... end

module type S = sig ... end

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

module MakeNonWeak : functor (X : HashedType) -> S with type elt = X.t: Version that uses a regular Hashtbl, rather than a weak table. Never frees memory, but might be faster.