{i : Type u} →
  {motive_1 : Lean.Doc.Inline i → Sort u_1} →
    (t : Lean.Doc.Inline i) →
      t.ctorIdx = 1 → ((content : Array (Lean.Doc.Inline i)) → motive_1 (Lean.Doc.Inline.emph content)) → motive_1 t