Module Hashcons

module Hashcons: sig .. end

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.