Module comp

Source
Expand description

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.