cpp/experimental/ranges/concepts/StrictTotallyOrdered

@1@ The concept specifies that the comparison operators  on  yield results consistent with a strict total order on. is satisfied only if, given lvalues, and  of type :
 * Exactly one of, and  is ;
 * If and  are both, then  is ;

@2@ The concept specifies that the comparison operators  on (possibly mixed)  and  operands yield results consistent with a strict total order. Comparing mixed operands yields results equivalent to comparing the operands converted to their common type. Formally, is satisfied only if, given any lvalue  of type  and any lvalue  of type, and let  be  :