Concept Subspace :: sus :: cmp :: ExclusiveOrd

source

template <class Lhs, class Rhs = Lhs>

concept ExclusiveOrd

requires

!StrongOrd<Lhs, Rhs>

sus::cmp::Ord<Lhs, Rhs>

Determines if the types Lhs and Rhs have total ordering (aka std::weak_ordering), and that this is the strongest ordering that exists between the types.