Каковы операции для каждого модуля утилиты Alloy?

Question

Утилита модули, предоставляемые Alloy перечислены на этой веб-странице:

http://alloy.mit.edu/alloy/documentation/quickguide/util.html

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

Где хранятся операции для каждого модуля?

Answer 1

Просто откройте их в анализаторе (в разделе «Файл | Открыть образцы моделей»), и вы увидите все ops, перечисленные с комментариями, объясняющими каждый.