sig
  type t
  val hashcons : Hashcons.S.t -> Hashcons.S.t
  val iter : (Hashcons.S.t -> unit) -> unit
  val stats : unit -> int * int * int * int * int * int
end