Имеем такой модуль
## Код:
```
MODULE ModA;
TYPE
  P* = POINTER TO T;
  T = RECORD
    x*, y: INTEGER;
  END;
END ModA.
```

При этом к полю x по указателю типа P можно обратиться из другого модуля,
хотя в интерфейсе ModA этого x вообще нет:
## Код:
```
DEFINITION ModA;
TYPE
  P = POINTER TO T;
END ModA.
```


А если так, то x появляется
## Код:
```
MODULE ModA;
TYPE
  P* = POINTER TO RECORD
    x*, y: INTEGER;
  END;
END ModA.
```

## Код:
```
DEFINITION ModA;
TYPE
  P = POINTER TO RECORD
    x: INTEGER
  END;
END ModA.
```


Наверное, в первом случае было бы лучше выдавать такой же
интерфейс, как и во втором. Все равно тип T недоступен и нет смысла
показывать его в интерфейсе.