definition_module

definition_module ::= "DEFINITION" "MODULE" ident ";" 
      { import } 
      [ export ] 
      definition "END" ident "." 

[rule list]
This rule is called by

-> compilation_unit