从 Overture 中的不同项目导入模块

Import module from different project in Overture

当我在 Overture 中从另一个模块导入一个模块时,一切都非常简单。但是,我不知道如何从另一个项目导入模块。我做的是:

在模块 B 中,系统标记错误 'No such module as A'。

恐怕目前 Overture 中的项目之间没有链接,尽管你是对的,这将是一件明智的事情,并且会提高规范的模块化。所以目前,您所有的规范文件都必须存在于同一个项目中。