Module¶
Modules consist of a header followed by a sequence of sections. There are sections describing the Module's interactions with other modules (Imports and Exports), sections declaring data and other implements used by the module, and sections defining functions.