#include <three_way_comparable.hpp>
template<typename T, typename Cat partial_ordering>
detail::partially_ordered_with<T, T> &&
requires(remove_reference_t<T> const& a, remove_reference_t<T> const& b) {
{ a <=> b } -> detail::compares_as<Cat>;
}
Definition three_way_comparable.hpp:39
Definition weakly_equality_comparable_with.hpp:19