SorterLeq is true if a <= b implements "less than or equal" using "Less".

SortedMap is a wrapper struct around the built-in map that has guarantees about order because it sorts its keys with a custom sorter.

Sorter is an interface used for ordering the keys in the OrderedMap.