dedekind::category::RegisteredViaHelper Concept Reference

Concept definition

template<typename T>
concept dedekind::category::RegisteredViaHelper = 
    requires { typename SpeciesTraits<T>::dedekind_registration_tag; }