|
Dedekind 0.0.0
A structuralist C++23 Module Library
|
Public Types | |
| using | Domain = std::size_t |
| using | Codomain = T |
| using | cardinality_type = ℵ_0 |
Public Member Functions | |
| constexpr T | operator() (Domain) const |
Static Public Member Functions | |
| static consteval cardinality_type | cardinality () |