Раздел описания доменов (типов).

<имя домена>=<определение домена>.

Integer, real, char, string, symbol, file.

В разделе описания доменов объявляются любые нестандартные домены.

Из доменов можно конструировать структуры:

point = p(integer, integer)

Каждая компонента структуры в свою очередь может быть структурой:

triangle = tr(point, point, point).

В описание структуры могут входить альтернативы, разделенные символом ";" или ключевым словом "or". Структура, описывающую точку и на плоскости, и в пространстве:

point = p(integer, integer);p(integer, integer, integer).

Список целых чисел описывается так:

list_of_integer=integer*