> -- Цитата:
> Definition: A type T extends a type T0, , or if it directly extends an extension of T0. Conversely, a type T0 is a base type of T, , or if it is the direct base type of a base type of T.
Как это собственно понимать?
## Код:
```
T1 = RECORD i : INTEGER END
T2 = RECORD i : INTEGER END
```

T1 equals to T2?
В ответе желательна ссылка на Оберон-07 репорт, где это уточняется.
Т.е. где вводится опирация сравнения для типов (записей)?