sig
  type key
  val hashcons :
    Hashcons.S_consed.key -> Hashcons.S_consed.key Hashcons.hash_consed
  val iter : (Hashcons.S_consed.key Hashcons.hash_consed -> unit) -> unit
  val stats : unit -> int * int * int * int * int * int
end