如果我们有 f(y) 和 f(x)，反统一就是 f(u)，但是如果 f != g 呢？我一直在做这个 Ocaml 作业，我应该为统一/反统一编写函数，我想知道我是否应该改变我的逻辑，在我的代码中，如果我们有不同的功能，反统一是不可能的。