(motive : Lean.Meta.Simp.Step → Sort u_1) →
  (s : Lean.Meta.Simp.Step) →
    ((r : Lean.Meta.Simp.Result) → motive (Lean.Meta.Simp.Step.visit r)) →
      ((r : Lean.Meta.Simp.Result) → motive (Lean.Meta.Simp.Step.done r)) →
        ((r : Lean.Meta.Simp.Result) → motive (Lean.Meta.Simp.Step.continue (some r))) →
          (Unit → motive Lean.Meta.Simp.Step.continue) → motive s