return_type ::= type_spec
This rule is call by -> cursor_body -> cursor_spec -> function_body -> function_spec -> procedure_body
-> cursor_body -> cursor_spec -> function_body -> function_spec -> procedure_body