Lean.Elab.Tactic.BVDecide.Frontend.ReifiedBVLogical →
  Lean.Elab.Tactic.BVDecide.Frontend.ReifiedBVLogical →
    Lean.Expr →
      Lean.Expr →
        Std.Tactic.BVDecide.Gate →
          Lean.Expr → Lean.Elab.Tactic.BVDecide.Frontend.M Lean.Elab.Tactic.BVDecide.Frontend.ReifiedBVLogical