Crate rustollens

Type-level boolean with companion logical connectives.

Modules

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