http://alloy.mit.edu/alloy/documentation/alloy4-grammar.txt

Core Alloy4 Syntax (minus some obscure compatibility syntax retained for Alloy3) ================================================================================ Precendence (from LOW to HIGH) 1) let all a:X|F no a:X|F some a:X|F lone a:X|F one a:x|F sum a:x|F 2) || 3) 4) => => else 5) && 6) ! 7) in = < > = !in != !< !> != 8) no X some X lone X one X set X seq X 9) > >>> 10) + - 11) #X 12) ++ 13)

[warufuzaketaichi]

構文定義