Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::category::IsClassifierConstant Concept Reference
module dedekind.category

Concept definition

template<typename C>
concept dedekind::category::IsClassifierConstant = IsClassifierAnswer<C>
dedekind::category::IsClassifierAnswer
T is a classifier answer: it names its species.
Definition logic.cppm:725