dedekind::order::IsStrictWeakOrder Concept Reference

The standard C++ 'Compare' requirement (e.g., for std::sort). More...

Concept definition

template<typename T>
concept dedekind::order::IsStrictWeakOrder =  std::strict_weak_order<std::less<T>, T, T>

Detailed Description

The standard C++ 'Compare' requirement (e.g., for std::sort).

A relation < where incomparability is transitive.