{motive : Lean.Meta.SparseCasesOnInfo → Sort u} →
  (t : Lean.Meta.SparseCasesOnInfo) →
    ((indName : Lean.Name) →
        (majorPos arity : ℕ) →
          (insterestingCtors : Array Lean.Name) →
            motive
              { indName := indName, majorPos := majorPos, arity := arity, insterestingCtors := insterestingCtors }) →
      motive t