{i : Type u} →
  {b : Type v} →
    {motive_1 : Lean.Doc.Block i b → Sort u_1} →
      (t : Lean.Doc.Block i b) →
        t.ctorIdx = 6 → ((content : Array (Lean.Doc.Block i b)) → motive_1 (Lean.Doc.Block.concat content)) → motive_1 t