Списковые домены.

mylist = elementDom*

Это удобная форма записи для объявления спискового домена. mylist

является доменом, состоящим из списков элементов из домена elementDom.

Домен elementDom может быть как доменом, определенным пользователем, так

и доменом одного из стандартных типов. Звездочка означает "список". Нап-

ример, следующее объявление домена

numberlist = integer*

объявляет домен для списков целых чисел, таких как [1, -5, 2, -6].