Alloyの(++)
override
p ++ q
は、
q
のタプルが
p
のタプルを置き換える
後ろの
q
のほうが優先されるのね
mrsekut.icon
その名の通りオーバーライドか
p
,
q
は関係で、arityが2以上で同じである必要がある
/mrsekut-book-4274068587/083 (3.4.3.7 オーバーライド)