{i : Type u} →
  {b : Type v} →
    {P : Sort u_1} →
      {content content' : Array (Lean.Doc.Block i b)} →
        Lean.Doc.Block.concat content = Lean.Doc.Block.concat content' → (content ≍ content' → P) → P