[−][src]Crate rustollens
Type-level boolean with companion logical connectives.
Modules
boolean | Type-level boolean type definition, |
connective | Logical connectives. |
equality | Propositional equality of booleans. |
Type-level boolean with companion logical connectives.
boolean | Type-level boolean type definition, |
connective | Logical connectives. |
equality | Propositional equality of booleans. |