Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::morphologies::first_iso_mod_2::connector_inv Struct Referenceexport

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

Detailed Description

Inverse direction: bool → Modular<2>.


The documentation for this struct was generated from the following file: