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