(motive : Array Lean.Elab.Term.NamedArg × Array Lean.Elab.Term.Arg × Bool → Sort u_1) →
  (__discr : Array Lean.Elab.Term.NamedArg × Array Lean.Elab.Term.Arg × Bool) →
    ((namedArgs : Array Lean.Elab.Term.NamedArg) →
        (args : Array Lean.Elab.Term.Arg) → (ellipsis : Bool) → motive (namedArgs, args, ellipsis)) →
      motive __discr