next up previous contents index
Next: and,or,not,xor Up: Arithmetic Previous: true,false   Contents   Index


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


Subsections
Manuel Bronstein 2004-06-28