If (type)appears in the (heading), the procedure is a function which returns a value of that type.

• 〈过程引导〉中出现〈类型〉，则该过程是按此类型退回一个值的函数。