dedekind::category::IsPartialCommutativeSemigroup Concept Reference

Concept definition

template<typename T, typename Op>
concept dedekind::category::IsPartialCommutativeSemigroup =  IsPartialSemigroup<T, Op> && requires {
  requires is_kleene_commutative_v<T, Op>;
}