我的问题很微不足道,但我找不到解决方案。
我尝试使用以下形式的命令打开模块:open ../folder/module
,但这会导致语法错误。
如何纠正这个问题?
ps:这两个模块必须位于单独的文件夹中,并且这些文件夹必须是“兄弟文件夹”(一个不能包含在另一个文件夹中)
感谢和干杯!
最佳答案
关于alloy - 打开位于不同文件夹中的模块,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/16964700/