> -- PGR писал(а):
> Имеем такой модульПри этом к полю x по указателю типа P можно обратиться из другого модуля,хотя в интерфейсе ModA этого x вообще нет:
Наверное, поэтому в Обероне и нельзя разделить модуль на 2 отдельных файла, как в Модуле: интерфейс и реализацию...