Functor Hashcons.Make

module Make: 
functor (H : HashedType-> S with type key = H.t and type prop = H.prop
Parameters:
H : HashedType

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