functor (H : HashedType->
  sig
    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) -> t -> '-> 'a
    val stats : t -> int * int * int * int * int * int
  end