模块别名命名空间在合金4

Question

可以说，我做到以下几点：

open util/ordering[A] 
open util/ordering[B] 

不排序/第一有什么价值？它是不确定的吗？你需要使用模块别名来消除歧义吗？

Answer 1

是的，你应该使用别名，例如，像我一样下面

open util/ordering[A] as orda 
open util/ordering[B] as ordb 

sig A{} 
sig B{} 

sig C { 
    firstA: A, 
    firstB: B 
} { 
    firstA = orda/first 
    firstB = ordb/first 
} 

run {one C}