{motive : Lean.Meta.Grind.ActionResult → Sort u} →
  ((seq : List Lean.Meta.Grind.TGrind) → motive (Lean.Meta.Grind.ActionResult.closed seq)) →
    ((gs : List Lean.Meta.Grind.Goal) → motive (Lean.Meta.Grind.ActionResult.stuck gs)) →
      (t : Lean.Meta.Grind.ActionResult) → motive t