Lean.Elab.Tactic.Grind.SavedState →
  Array Lean.Elab.Tactic.Grind.EvalTacticFailure →
    Lean.Exception →
      (Array Lean.Elab.Tactic.Grind.EvalTacticFailure → Lean.Elab.Tactic.Grind.GrindTacticM Unit) →
        Lean.Elab.Tactic.Grind.GrindTacticM Unit