在语法中§

请参阅主要文档 在上下文中 了解包、模块、类、角色和语法声明

有几种类型的包，每种类型都用一个关键字、一个名称、一些可选特性以及一个子例程、方法或规则的主体来声明。

package P { }
 
module M { }
 
class C { }
 
role R { }
 
grammar G { }

可以在一个文件中声明多个包。但是，您可以在文件开头声明一个unit包（仅在注释或use语句之前），并且文件的其余部分将被视为包的主体。在这种情况下，不需要大括号。

unit module M;
# ... stuff goes here instead of in {}'s