Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::category::Boole Member List

This is the complete list of members for dedekind::category::Boole, including all inherited members.

Ω typedef (defined in dedekind::category::Boole)dedekind::category::Boole
AND(bool a, bool b) (defined in dedekind::category::Boole)dedekind::category::Booleinlinestatic
False (defined in dedekind::category::Boole)dedekind::category::Boolestatic
JoinOp typedefdedekind::category::Boole
MeetOp typedef (defined in dedekind::category::Boole)dedekind::category::Boole
OR(bool a, bool b) (defined in dedekind::category::Boole)dedekind::category::Booleinlinestatic
RFL(bool a) (defined in dedekind::category::Boole)dedekind::category::Booleinlinestatic
RflOp typedef (defined in dedekind::category::Boole)dedekind::category::Boole
True (defined in dedekind::category::Boole)dedekind::category::Boolestatic