(motive : Array Lean.Expr × Array Lean.BinderInfo × Lean.Expr → Sort u_1) →
  (__discr : Array Lean.Expr × Array Lean.BinderInfo × Lean.Expr) →
    ((fst : Array Lean.Expr) → (fst_1 : Array Lean.BinderInfo) → (ty' : Lean.Expr) → motive (fst, fst_1, ty')) →
      motive __discr