Chapter 6. Module
A module is a scope that contains declarations of types (Chapter 3), extents (Section 4.2), and computed values (Section 4.1). Modules override lexical scoping to import symbols that have been exported from another module.
6.1 Compilation Unit
Several modules may be contained within a CompilationUnit, typically a text file.
CompilationUnit:
ModuleDeclarationList
ModuleDeclarationList:
ModuleDeclaration
ModuleDeclarationList ModuleDeclaration
6.2 Module Declaration
A ModuleDeclaration is a named container/scope for type declarations, field declarations, and computed value declarations.
ModuleDeclaration: module QualifiedIdentifer ModuleBody ;optQualifiedIdentifier: Identifier QualifiedIdentifier . IdentifierModuleBody: { ...
Get The “Oslo” Modeling Language now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
