Annex A (informative) Grammar summary [gram]

module-declaration:
export-keyword${}_{opt}$ module-keyword module-name module-partition${}_{opt}$ attribute-specifier-seq${}_{opt}$ ;

module-name:
module-name-qualifier${}_{opt}$ identifier

module-partition:
: module-name-qualifier${}_{opt}$ identifier

module-name-qualifier:
identifier .
module-name-qualifier identifier .

export-declaration:
export declaration
export { declaration-seq${}_{opt}$ }
export-keyword module-import-declaration

module-import-declaration:
import-keyword module-name attribute-specifier-seq${}_{opt}$ ;
import-keyword module-partition attribute-specifier-seq${}_{opt}$ ;
import-keyword header-name attribute-specifier-seq${}_{opt}$ ;

global-module-fragment:
module-keyword ; declaration-seq${}_{opt}$

private-module-fragment:
module-keyword : private ; declaration-seq${}_{opt}$