ℕ →
  Bool →
    Bool →
      Bool →
        Bool →
          Bool →
            Bool →
              Bool →
                Bool →
                  Bool →
                    ℕ →
                      Bool →
                        Lean.Elab.Tactic.BVDecide.Frontend.SolverMode →
                          Lean.Elab.Tactic.BVDecide.Frontend.BVDecideConfig