<modulereference> DEFINITIONS ::= BEGIN --模块头部 EXPORTS -- 可选,导出本模块的数据类型或值,类比与C语言中的导出的(接口)符号 IMPORTS -- 可选,导入其他模块的数据类型或值,类比于C语言中的#include --模块主体 AssignmentList –- 模块内容定义 END 其中EXPORTS和IMPORTS子句的形式类似,多个类型或值间用逗号隔开最后以分号结束,IMPORTS子句中还带有FROM,其后接模块名,表示从哪个模块导入数据类型或值。 IMPORT < 类型或值1,类型或值2...> FROM < 模块名 1> < 类型或值1,类型或值2...> FROM < 模块名 2> ...; EXPORTS < 类型或值1,类型或值2...>;