::= "module" "{" ( | | )* "}" ::= "export" ( | | ) ::= ( | )