|
Dedekind 0.0.0
A structuralist C++23 Module Library
|
Zero rule: i ↦ T{0}.
More...
Public Types | |
| using | Domain = std::size_t |
| using | Codomain = T |
Public Member Functions | |
| constexpr T | operator() (std::size_t) const |
Zero rule: i ↦ T{0}.