Modules

module ::= attribute* 'mod' '{' declaration* '}'

Module Paths

module-path ::= upper-identifier ('::' upper-identifier)*