将if-then-else定义为原始递归函数，即给定两个 功能f; g，参数x和布尔表达式e，if-then-else构造 应该根据e的布尔值将f或g应用于x。你不用用 只要您能够定义原始递归函数的相同严格方法 证明定义的正确性。例如，您可以定义加法的递归定义，例如+（x; 0）。
这是我的尝试： 通过使用相等函数
** Eq 00 = true Eq(succ x)0 = false Eq 0(succ x) = false Eq(succ x) (succ y) = Eq xy :Bool**
我的方向正确吗？