let rec eq_foterm x y =
x == y ||
match x, y with
- | Terms.Leaf t1, Terms.Leaf t2 -> B.eq t1 t2
+ | Terms.Leaf t1, Terms.Leaf t2 -> B.eq t1 t2
| Terms.Var i, Terms.Var j -> i = j
| Terms.Node l1, Terms.Node l2 -> List.for_all2 eq_foterm l1 l2
| _ -> false