Annex A (informative) Grammar summary [gram]

A.7 Modules [gram.module]

module-declaration:
	export module module-name module-partition attribute-specifier-seq ;
module-name:
	module-name-qualifier identifier
module-partition:
	: module-name-qualifier identifier
module-name-qualifier:
	identifier .
	module-name-qualifier identifier .
export-declaration:
	export declaration
	export { declaration-seq }
module-import-declaration:
	export import module-name attribute-specifier-seq ;
	export import module-partition attribute-specifier-seq ;
	export import header-name attribute-specifier-seq ;
global-module-fragment:
	module ; top-level-declaration-seq