package logtk

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `Logtk.Hashcons`

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.