T is a classifier answer: it names its species. More...

Concept definition

template<typename T>
concept dedekind::category::IsClassifierAnswer = 
    requires { typename ClassifierLogic<std::remove_cvref_t<T>>::type; }

Detailed Description

T is a classifier answer: it names its species.