每个合金实用程序模块的操作是什么？

Question

合金提供的实用模块列于本网页：

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

但这并没有列出每个模块提供的操作。例如，网页上说有一个订购模块，但它没有说明订购模块提供了哪些操作。

每个模块的操作记录在哪里？

Answer 1

只需在分析器中打开它们(在模型下)，您就可以看到列出的所有操作操作以及解释每个操作的注释。