concepts::detail::partially_ordered_with_frag_ Concept Reference

The partially_ordered_with_frag_ concept. More...

#include <concepts/concepts.hpp>

Concept definition

template<typename T, typename U>
concept concepts::detail::partially_ordered_with_frag_ =     requires( detail::as_cref_t<T>& t, detail::as_cref_t<U>& u ) {  concepts::requires_<boolean_testable_<decltype(t < u)>>,                 concepts::requires_<boolean_testable_<decltype(t > u)>>,                 concepts::requires_<boolean_testable_<decltype(t <= u)>>,                 concepts::requires_<boolean_testable_<decltype(t >= u)>>,                 concepts::requires_<boolean_testable_<decltype(u < t)>>,                 concepts::requires_<boolean_testable_<decltype(u > t)>>,                 concepts::requires_<boolean_testable_<decltype(u <= t)>>,                 concepts::requires_<boolean_testable_<decltype(u >= t)>> ; } 

Detailed Description

The partially_ordered_with_frag_ concept.