BooleanArithmeticType

Usage

BooleanArithmeticType: Category

Description

BooleanArithmeticType is the category of types allowing boolean arithmetic.

Exports

PrimitiveType
$\sim$:	% $\to$ %	negation
$\wedge$:	(%, %) $\to$ %	and
$\vee$:	(%, %) $\to$ %	or
xor:	(%, %) $\to$ %	exclusive or