> -- Роман М. писал(а):
> Этот недочёт относится также и к начальному Оберону, и к КП. Нигде явно не указано про сравнение записей., что каждое определение нового типа задаёт его уникальность. Соответсвенно, сравнение типов также основывается на этом.
Тогда имеем противоречие.
## Код:
```
TYPE
     A = INTEGER
     B = INTEGER
```

Тогда тоже задает уникальность, но по традиции это не так. Тут новые типы не вводятся. A и B это один и тот же тип, просто это псевдонимы для INTEGER. Т.е. это не отличимо от typedef в Си.