Bit-vector Operations

The following bit-vector operations apply to integer arguments only. Supplying non-integer arguments results in an exception being raised. Note that the slant lines used in these operator names are produced with the forward and backward slash keys.

X /\ Y
Evaluates to the bitwise conjunction of X and Y.
X \/ Y
Evaluates to the bitwise disjunction of X and Y.
Evaluates to the bitwise xor of X and Y. Note that this is not an operator.
\ (X)
Evaluates to the complement of the bits in X.
X << Y
X is shifted left Y places. Equivalent to X << (Y /\ 2'11111).
X >> Y
X is shifted right Y places with sign extension.