Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::morphologies::IsSimplyInfinite Concept Referenceexport
module dedekind.morphologies

Concept definition

template<typename T>
concept dedekind::morphologies::IsSimplyInfinite =
IsCyclic<T> && requires { typename T::cardinality_type; }
dedekind::morphologies::IsCyclic
\emph{Operational} duck-typed check that T carries the member API of a cyclic structure: T::Domain al...
Definition archimedean.cppm:118
dedekind::morphologies::IsSimplyInfinite
Definition archimedean.cppm:126