Присоединено к уже существующей теме.

За неимением функций побитовой работы над целами числами решил написать такие процедуры.
Насколько я понял из документации, побитовые операции делаются через множества.

При такой реализации BB сообщает о 2 ошибках.
## Код:
```
MODULE bitwise_test;

PROCEDURE BitAnd (a, b: INTEGER): INTEGER;
VAR
   R: SET;
   I: INTEGER;
BEGIN
   R := {a} * {b};
   I := INTEGER(R); (* здесь *)
   RETURN I;
END Bitand; (* и здесь *)

END bitwise_test.
```


Это понимать как неверное приведение одного типа к другому?