dedekind::category::HaveLogicJoin Concept Reference

Concept definition

template<typename L1, typename L2>
concept dedekind::category::HaveLogicJoin =  requires { typename join_logic<L1, L2>::type; }