全递归函数

[quán dì guī hán shù]

• total recursive function