compilation_unit

compilation_unit ::= definition_module | 
      implementation_module | 
      program_module 

[rule list]