Crate rustollens

Expand description

Type-level boolean with companion logical connectives.

Modules§

boolean: Type-level boolean type definition,
connective: Logical connectives.
equality: Propositional equality of booleans.