AlloyのFunction
再利用可能な式のまとまり
https://alloy.readthedocs.io/en/latest/language/predicates-and-functions.html#functions
AlloyのPredicate
と異なり、
返り値がある
引数を囲む括弧は
[]
runした時、全てのfunctionは常に呼ばれる
/mrsekut-book-4274068587/137 (4.5.2 関数と述語)