AlloyのCommand
実行できる
スコープを指定できる
デフォルトでは各sigの要素数を3に制限したスコープになっている
この2つのこと
AlloyのCheck
AlloyのRun
AlloyのCommandのScope
check A for 3
各sigの要素数を3に制限
check A for 5 Object
Objectの要素数を5に制限
check A for 5 but 3 Object
各sigの要素数を5に制限するが、Objectは3を上限にする
check A for exactly 3 Diectory, 5 File
Directoryはちょうど3つにする
上限ではなく、ということ
/mrsekut-book-4274068587/No scope specified for top-level type X in command
/mrsekut-book-4274068587/143 (4.6 コマンドとスコープ)