sig
  type t
  val compare : HashSet.HashedType.t -> HashSet.HashedType.t -> int
  val hash : HashSet.HashedType.t -> int
end