Loading...
Searching...
No Matches
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)>> ; }
concepts::detail::boolean_testable_
The boolean_testable_ concept.
Definition concepts.hpp:1029
concepts::detail::partially_ordered_with_frag_
The partially_ordered_with_frag_ concept.
Definition concepts.hpp:1067

## Detailed Description

The `partially_ordered_with_frag_` concept.