(motive : Array Lean.FVarId × Lean.MVarId → Sort u_1) →
  (__discr : Array Lean.FVarId × Lean.MVarId) →
    ((generalized' : Array Lean.FVarId) → (altMVarId' : Lean.MVarId) → motive (generalized', altMVarId')) →
      motive __discr