2

我的问题很简单，但我找不到解决方案。

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

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

谢谢和干杯！

4

1 回答 1

2

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

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

干杯

于 2013-06-07T10:08:02.953 回答