Lean.Syntax →
  Lean.Elab.Tactic.Grind.SavedState →
    List (Lean.KeyedDeclsAttribute.AttributeEntry Lean.Elab.Tactic.Grind.GrindTactic) →
      Array Lean.Elab.Tactic.Grind.EvalTacticFailure → Lean.Elab.Tactic.Grind.GrindTacticM Unit