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