module

module 
      ::= "module" identifier "{" { specification } "}" 

This rule is called by

-> definition