Annex A (informative) Grammar summary [gram]

A.7 Modules [gram.module]

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

module-name:
	module-name-qualifier $_{o p t}$  identifier

module-partition:
	: module-name-qualifier $_{o p t}$  identifier

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

export-declaration:
	export declaration
	export { declaration-seq $_{o p t}$  }
	export-keyword module-import-declaration

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

global-module-fragment:
	module-keyword ; declaration-seq $_{o p t}$

private-module-fragment:
	module-keyword : private ; declaration-seq $_{o p t}$