Concept Subspace :: sus :: cmp :: ExclusivePartialOrd
template <class Lhs, class Rhs = Lhs>concept ExclusivePartialOrd
requires
!Ord<Lhs, Rhs>
sus::cmp::PartialOrd<Lhs, Rhs>
Determines if the types Lhs
and Rhs
have a partial ordering (aka
std::partial_ordering
),
and that this is the strongest ordering that exists between the types.