Loading...
Searching...
No Matches
concepts::defs::totally_ordered_with_ Concept Reference

The `totally_ordered_with_` concept. More...

`#include <concepts/concepts.hpp>`

## Concept definition

template<typename T, typename U>
concept concepts::defs::totally_ordered_with_ = totally_ordered<
common_reference_t<
detail::as_cref_t<T>
detail::as_cref_t<U>>> &&
detail::partially_ordered_with_<T, U>)
concepts::defs::totally_ordered_with_
The totally_ordered_with_ concept.
Definition concepts.hpp:1113
concepts::defs::totally_ordered
The totally_ordered concept.
Definition concepts.hpp:1107
concepts::detail::partially_ordered_with_
The partially_ordered_with_ concept.
Definition concepts.hpp:1071

## Detailed Description

The `totally_ordered_with_` concept.