sig
  type elt
  val hashcons : Hashcons.S.elt -> Hashcons.S.elt
  val mem : Hashcons.S.elt -> bool
  val fresh_unique_id : unit -> int
  val stats : unit -> int * int * int * int * int * int
end