Ну тут скорее наоборот, нельзя позволять экспортировать переменные со скрытым типом. Это и записей касается, и для записей похожая ситуация тоже прокатывает. Доступ к неизвестным интерфейсу объектам.

## Код:
```
MODULE PrivTest;

   TYPE
      R = RECORD 
         x*: INTEGER;
      END;
   
   VAR 
      r*: R;
END PrivTest.

MODULE PrivTest2;
   IMPORT PrivTest;
BEGIN
   PrivTest.r.x := 10;
END PrivTest2.
```

## Код:
```
DEFINITION PrivTest;

   VAR
      r: R;

END PrivTest.
```

Тонкий момент.