Module typebool::comp

Boolean operations expressed as composed concrete types.

Structs

And	The logical conjunction (intersection) of two Bools.
Not	The negation of a Bool.
Or	The logical disjunction (union) of two Bools.
Xor	The exclusive disjunction of two Bools.