{α : Type u} →
  {motive_1 : Lean.PersistentArrayNode α → Sort u_1} →
    (t : Lean.PersistentArrayNode α) →
      ((cs : Array (Lean.PersistentArrayNode α)) → motive_1 (Lean.PersistentArrayNode.node cs)) →
        (Nat.hasNotBit 1 t.ctorIdx → motive_1 t) → motive_1 t