Class DoubleSortedSets.EmptySet