打开位于其他文件夹中的模块

Question

我的问题非常简单，但我无法找到解决方法。

我正在尝试使用以下格式的命令打开模块：open ../folder/module，但这会导致语法错误。 如何纠正？

ps：2个模块必须在一个单独的文件夹中，那些文件夹必须是“兄弟文件夹”（一个不能包含在另一个文件夹中）

谢谢，干杯！

Answer 1

这些幻灯片的内容帮助我解决了这个问题。

http://homepage.divms.uiowa.edu/~tinelli/181/Notes/05-alloy-modules.pdf

欢呼声