Вы привели в качестве примера часть интерфейса модуля TextModels. Этот интерфейс создаётся автоматически и является элементом документирования модуля. Соглашения по документированию описаны в разделе "Документирование".

Разделение исходников на текст модуля и интерфейс модуля исторически появилось в Модуле, а в Оберонах интерфейсы генерируются автоматически.