Class IntSortedSets.EmptySet