|
Dedekind 0.0.0
A structuralist C++23 Module Library
|
Inverse direction: bool → Modular<2>.
More...
Public Types | |
| using | Domain = bool |
| using | Codomain = dedekind::morphologies::Modular<2> |
Public Member Functions | |
| constexpr Codomain | operator() (bool b) const noexcept |
Inverse direction: bool → Modular<2>.