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<T> &&
totally_ordered<U> &&
equality_comparable_with<T, U> &&
concepts::totally_ordered_with_ < T, U >
concepts::defs::equality_comparable_with
The equality_comparable_with concept.
Definition concepts.hpp:1097
concepts::defs::totally_ordered_with
The totally_ordered_with concept.
Definition concepts.hpp:1122
concepts::defs::totally_ordered
The totally_ordered concept.
Definition concepts.hpp:1107

## Detailed Description

The `totally_ordered_with` concept.