Объекты предметной области (домена)

Внутри доменной модели можно создавать типы, используя ключевое слово type, а затем использовать объекты этого типа в аргументах доменных функций и семантических предикатов.

Доменная функция

Внутри доменной модели можно определить доменные функции с помощью ключевого слова fun, а затем использовать эти функции в семантических предикатах.