{i : Type u} →
  {b : Type v} →
    {motive_1 : Lean.Doc.Block i b → Sort u_1} →
      (t : Lean.Doc.Block i b) →
        ((content : String) → motive_1 (Lean.Doc.Block.code content)) →
          (Nat.hasNotBit 2 t.ctorIdx → motive_1 t) → motive_1 t