(motive : Array Lean.Elab.Structural.RecArgInfo → Sort u_1) →
  (__discr : Array Lean.Elab.Structural.RecArgInfo) →
    ((recArgInfo : Lean.Elab.Structural.RecArgInfo) → motive #[recArgInfo]) →
      ((x : Array Lean.Elab.Structural.RecArgInfo) → motive x) → motive __discr