export

export ::= "EXPORT" [ "QUALIFIED" ] ident { "," ident } ";" 

This rule is called by

-> definition_module
-> module_declaration