The entities within the imported module may be imported, instead of just the module name, using the FROM Module IMPORT Item * syntax: MODULE HelloWorld EXPORTS Main; FROM IO IMPORT Put; BEGIN Put("Hello World\n") END HelloWorld.
可以使用以下FROM Module IMPORT Item *语法导入导入模块中的实体，而不仅仅是模块名称： MODULE HelloWorld EXPORTS Main ; 来自 IO IMPORT Put ; BEGIN Put （“Hello World \ n” ） END HelloWorld 。