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.

\(X,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.