You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The weak_ordering type is typically used as the result type of a three-way comparison operator that (a) admits all of the six two-way comparison operators ([expr.rel], [expr.eq]), and (b) does not imply substitutability.
What does it mean for an operator to "admit" another operator? I can't find a definition of it anywhere. Is there maybe a better way to phrase what is intended here? :)
The text was updated successfully, but these errors were encountered:
Editorial meeting: Replace "admits" with "supports". No, makes it worse.
"... for a type that is intended to support ... and for which equality need not imply substitutability."
Also for the other such phrases.
E.g. in [cmp.weakord]/1:
What does it mean for an operator to "admit" another operator? I can't find a definition of it anywhere. Is there maybe a better way to phrase what is intended here? :)
The text was updated successfully, but these errors were encountered: