Module ops 

Boolean operations expressed as traits.

Traits

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.