Коллеги, процедура SYSTEM.TYP определена вот так:

> -- Platform-Specific Issues писал(а):
> 

Я понимаю это так, что аргументом должно быть значение записного типа.

Однако процедура работает и с именами типов, вот так:
TYPE Type = POINTER TO RECORD ... END;
x := SYSTEM.TYP(Type)

Как мне кажется, в данном случае описание неполно, и может быть дополнено, напр, вот так:
## Код:
```
TYP(T)   type name   INTEGER   type tag of record type T
```


Что скажете?