Module type Hashcons.S
val create : int -> tval clear : t -> unitval hashcons : t -> key -> key hash_consedval iter : (key hash_consed -> unit) -> t -> unitval stats : t -> int * int * int * int * int * int
Hashcons.Sval create : int -> tval clear : t -> unitval hashcons : t -> key -> key hash_consedval iter : (key hash_consed -> unit) -> t -> unitval stats : t -> int * int * int * int * int * int