(motive : Lean.Meta.Match.AltParamInfo → Lean.Meta.Match.AltParamInfo → Sort u_1) →
  (x x_1 : Lean.Meta.Match.AltParamInfo) →
    ((a a_1 : ℕ) →
        (a_2 : Bool) →
          (b b_1 : ℕ) →
            (b_2 : Bool) →
              motive { numFields := a, numOverlaps := a_1, hasUnitThunk := a_2 }
                { numFields := b, numOverlaps := b_1, hasUnitThunk := b_2 }) →
      ((x x_2 : Lean.Meta.Match.AltParamInfo) → motive x x_2) → motive x x_1