dedekind::category::CombinesJoin Concept Reference

Concept definition

template<typename C, typename A, typename B>
concept dedekind::category::CombinesJoin = 
    requires(const A& a, const B& b) { C::join_value(a, b); }