@@ -745,16 +745,16 @@ let rec simplify_and ~n (e1 : t) (e2 : t) : t option =
745745 | Bool true , _ -> Some e2
746746 | _ , Bool true -> Some e1
747747 | 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_)
758758 | _ , Bin (And, a , b ) ->
759759 simplify_and ~n: (n + 1 )
760760 {expression_desc = Bin (And , e1, a); comment = None }
0 commit comments