Annex A (informative) Grammar summary [gram]

A.7 Modules [gram.module]

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}$