dedekind::category::SpeciesTraitsHasIsDistributive Concept Reference

Concept definition

template<typename T, typename Mult, typename Add>
concept dedekind::category::SpeciesTraitsHasIsDistributive =  RegisteredViaHelper<T> && requires {
  SpeciesTraits<T>::template is_distributive_v<Mult, Add>;
}