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>)

Detailed Description

The totally_ordered_with_ concept.