Модуль Алиас пространств имен в сплаве 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}