∀ (text : Array (Lean.Doc.Block Lean.ElabInline Lean.ElabBlock))
  (sections : Array (ℕ × Lean.DeclarationRange × Lean.Doc.Part Lean.ElabInline Lean.ElabBlock Empty))
  (declarationRange : Lean.DeclarationRange) (text_1 : Array (Lean.Doc.Block Lean.ElabInline Lean.ElabBlock))
  (sections_1 : Array (ℕ × Lean.DeclarationRange × Lean.Doc.Part Lean.ElabInline Lean.ElabBlock Empty))
  (declarationRange_1 : Lean.DeclarationRange),
  ({ text := text, sections := sections, declarationRange := declarationRange } =
      { text := text_1, sections := sections_1, declarationRange := declarationRange_1 }) =
    (text = text_1 ∧ sections = sections_1 ∧ declarationRange = declarationRange_1)