sig
  type t
  val compare : CCHashconsedSet.ELT.t -> CCHashconsedSet.ELT.t -> int
  val hash : CCHashconsedSet.ELT.t -> int
end