各合金ユーティリティモジュールの操作は何ですか？

Question

合金が提供するユーティリティモジュールは、このウェブページに記載されています：

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

しかし、それは、各モジュールによって提供される操作の一覧を表示しません。たとえば、Webページには発注モジュールがありますが、発注モジュールによってどのような操作が提供されているかはわかりません。

各モジュールの操作はどこに文書化されていますか？

Answer 1

アナライザ（ファイル|サンプルモデルを開く）で開くだけで、すべての操作がリストされ、コメントがそれぞれ説明されています。