module_declaration

module_declaration ::= "MODULE" ident [ "[" priority "]" ] ";" 
      { import } 
      [ export ] 
      block ident 

This rule is called by

-> declaration