Module Hashcons.Make

Parameters

module H : HashedType

Signature

type key = H.t
type prop = H.prop
type t
val create : int -> t
val clear : t -> unit
val copy : t -> t
val hashcons : t -> key -> prop -> (key, prop) hash_consed
val find : t -> key -> (key, prop) hash_consed
val iter : ((key, prop) hash_consed -> unit) -> t -> unit
val fold : ((key, prop) hash_consed -> 'a -> 'a) -> t -> 'a -> 'a
val stats : t -> int * int * int * int * int * int