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