cpp/iterator/sortable

The concept specifies the requirements for algorithms that permute a range into an ordered range according to.

Semantic requirements
is modeled only if all concepts it subsumes are modeled.