function_spec

function_spec 
      ::= 
      "function" function_name 
      "(" argument { "," argument } ")" 
      "return" return_type ";" 

This rule is call by

-> package_obj_spec