标签： alloy
我看到了以下Alloy定义：
一个sig编号{i：Int [3]}
// Int [3]是什么意思。我的意思是上面字段'i'
答案 0 :(得分：0)
这意味着i是单例集Number与Int的单例子集与原子3之间的关系。在对象表示法中，它就像Number.i = 3
i
Number
Int
3
Number.i = 3