> -- adimetrius писал(а):
> Нельзя, потому что уточнено в 4 столбике:TYP(T) type name INTEGER type tag of record type T
Вы ведь хотите прояснить, а получается наоборот.
Второй столбик описывает аргументы, а четвертый - результат. Остается неясным, какой будет результат функции, если  T - не record type.
Далее, чем "type name" отличается от аналогичных параметров MIN, MAX, SIZE, ADR, где используется просто "type"?
Наконец, неплохо бы прояснить, что такое "type tag" и чем оно отличается от "address of Descriptor of T", возвращаемого ADR.

И еще. Может, это вовсе не преднамеренное поведение? И надо не описывать, а править компилятор.