形式函数

formal functions