Module Hashcons.Make

Parameters

• H : HashedType

Signature

type key = H.t

type prop = H.prop

type t

val create : int -> t

val clear : t -> unit

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