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

The `totally_ordered` concept. More...

`#include <concepts/concepts.hpp>`

## Concept definition

template<typename T>
concept concepts::defs::totally_ordered =
equality_comparable<T> &&
detail::partially_ordered_with_<T, T>
concepts::defs::equality_comparable
The equality_comparable concept.
Definition concepts.hpp:1086
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` concept.