Module 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.