(motive : Array Lean.IR.Arg × Array Lean.IR.FnBody → Sort u_1) →
  (__discr : Array Lean.IR.Arg × Array Lean.IR.FnBody) →
    ((ys : Array Lean.IR.Arg) → (bs : Array Lean.IR.FnBody) → motive (ys, bs)) → motive __discr