Lean.MVarId →
  Lean.Grind.Config →
    Bool →
      Lean.TSyntaxArray `Lean.Parser.Tactic.grindParam →
        Option (Lean.TSyntax `Lean.Parser.Tactic.Grind.grindSeq) → Lean.Elab.Tactic.TacticM Unit