let is_eq = function
| Terms.Node [ Terms.Leaf eqt ; ty; l; r ] when eq eqP eqt ->
- Some (ty,l,r)
+ Some (ty,l,r)
+(*
| Terms.Node [ Terms.Leaf eqt ; _; Terms.Node [Terms.Leaf eqt2 ; ty]; l; r]
when eq equivalence_relation eqt && eq setoid_eq eqt2 ->
- Some (ty,l,r)
+ Some (ty,l,r) *)
| _ -> None
let pp t =