模塊別名命名空間在合金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}