dedekind::category::IsAssociative Concept Reference

Concept definition

template<typename T, typename Op>
concept dedekind::category::IsAssociative =  is_associative_v<T, std::remove_cvref_t<Op>>