dedekind::category::SpeciesTraitsHasIsCommutative Concept Reference

Concept definition

template<typename T, typename Op>
concept dedekind::category::SpeciesTraitsHasIsCommutative =  RegisteredViaHelper<T> && requires {
  SpeciesTraits<T>::template is_commutative_v<Op>;
}