import from SortedAssociationSet(K, V)
|K||TotallyOrderedType||the type of the keys|
|V||Type||the type of the entries|
SortedAssociationSet(K, V) implements sorted sets of key-entry pairs. The keys come from K with a total ordering and the entries come from T which is any type. A sorted association set can be viewed as a hash-table with the identity as hash-function.