functor (H : HashedType) ->
  sig
    type key = H.t
    and t
    val create : int -> Hashcons.S.t
    val clear : Hashcons.S.t -> unit
    val hashcons :
      Hashcons.S.t -> Hashcons.S.key -> Hashcons.S.key Hashcons.hashed
    val mem : Hashcons.S.t -> Hashcons.S.key -> bool
    val iter :
      (Hashcons.S.key Hashcons.hashed -> unit) -> Hashcons.S.t -> unit
    val stat : Hashcons.S.t -> unit
  end