Yes. SortedList is just a name I borrowed (it’s not actually a list because you can’t insert elements at arbitrary position). Perhaps SortedIndexedSet or simply requiring all SortedSets to be indexable is more appropriate.
Yes. SortedList is just a name I borrowed (it’s not actually a list because you can’t insert elements at arbitrary position). Perhaps SortedIndexedSet or simply requiring all SortedSets to be indexable is more appropriate.