Thoth::Dsa::strong_order_relation Concept Reference

#include <LinearMap.hpp>

Concept definition

template<class Key, class Relation>
concept Thoth::Dsa::strong_order_relation = 
           requires(Relation r, Key a, Key b) { { std::invoke(r, a, b) } -> std::same_as<std::strong_ordering>; }
        || requires(Relation r, Key a, Key b) { { std::invoke(r, a, b) } -> std::convertible_to<bool>; }