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

Question

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

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

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

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

Answer 1

Просто откройте их в анализаторе (в разделе File | Open Sample Models), и вы увидите все перечисленные операции с комментариями, объясняющими каждый.