provide SortedStrings data type