Module type `Hashcons.S`

type key
type 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