#include <ordered_set_traits_interface.h>
template<class Test, class Element_t>
requires(Element_t e1, Element_t e2) {
{ Test::lt_impl(e1, e2) } -> std::convertible_to<bool>;
} ||
requires(Element_t e1, Element_t e2) {
{ Test::cmp_impl(e1, e2) } -> std::convertible_to<std::strong_ordering>;
}
Definition: ordered_set_traits_interface.h:60