return_type

return_type 
      ::= type_spec 

This rule is call by

-> cursor_body
-> cursor_spec
-> function_body
-> function_spec
-> procedure_body