>>812

そりゃ、Alloyは仕様の妥当性を確かめるツールであって仕様書の解釈を確かめる
ツールじゃないわな。
妥当性を検証すべきは>>761の仕様であって、その解釈じゃない。そもそも>>761の
記述であいまいさが残るのはpush()の返値ぐらいで、十分明確だから解釈問題にも
ならんだろう。