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.





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 O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.