cpp/iterator/mergeable

The concept specifies the requirements for algorithms that merge two input ranges into a single output range according to the strict weak ordering imposed by.

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