logtk

Core types and algorithms for logic
IN THIS PACKAGE
Module Logtk . Hashcons

Hashconsing

module type HashedType = sig ... end
module type S = sig ... end
module Make (X : HashedType) : S with type elt = X.t
module MakeNonWeak (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.