@@ -745,16 +745,16 @@ let rec simplify_and ~n (e1 : t) (e2 : t) : t option =
745
745
| Bool true , _ -> Some e2
746
746
| _ , Bool true -> Some e1
747
747
| Bin (And, a , b ), _ -> (
748
- match simplify_and ~n: (n + 1 ) a b with
749
- | Some e -> simplify_and_force ~n: (n + 1 ) e e2
750
- | None -> (
751
- let ao = simplify_and ~n: (n + 1 ) a e2 in
752
- let bo = simplify_and ~n: (n + 1 ) b e2 in
753
- match (ao, bo) with
754
- | None , None -> None
755
- | Some a_ , None -> simplify_and_force ~n: (n + 1 ) a_ e2
756
- | None , Some b_ -> simplify_and_force ~n: (n + 1 ) e1 b_
757
- | Some a_ , Some b_ -> simplify_and_force ~n: (n + 1 ) a_ b_) )
748
+ let ao = simplify_and ~n: (n + 1 ) a e2 in
749
+ let bo = simplify_and ~n: (n + 1 ) b e2 in
750
+ match (ao, bo) with
751
+ | None , None -> (
752
+ match simplify_and ~n: (n + 1 ) a b with
753
+ | None -> None
754
+ | Some e -> simplify_and_force ~n: (n + 1 ) e e2)
755
+ | Some a_ , None -> simplify_and_force ~n: (n + 1 ) a_ e2
756
+ | None , Some b_ -> simplify_and_force ~n: (n + 1 ) e1 b_
757
+ | Some a_ , Some b_ -> simplify_and_force ~n: (n + 1 ) a_ b_)
758
758
| _ , Bin (And, a , b ) ->
759
759
simplify_and ~n: (n + 1 )
760
760
{expression_desc = Bin (And , e1, a); comment = None }
0 commit comments