【发布时间】：2012-11-26 17:07:44
【问题描述】：
我看到了以下合金定义：
一个信号数 { i:Int[3]}
//Int[3] 是什么意思。我的意思是上面的字段'i'是什么意思
【问题讨论】：
标签： alloy
【发布时间】：2012-11-26 17:07:44
【问题描述】：
这意味着i 是单例集Number 和Int 的单例子集与原子3 之间的关系。在对象表示法中，它就像Number.i = 3
【讨论】：
【发布时间】：2012-11-26 17:07:44
【问题描述】：