∀ {Self : Type} (name : String) (detail? : Option String) (kind : Lean.Lsp.SymbolKind)
  (range selectionRange : Lean.Lsp.Range) (children? : Option (Array Self)) (name_1 : String)
  (detail?_1 : Option String) (kind_1 : Lean.Lsp.SymbolKind) (range_1 selectionRange_1 : Lean.Lsp.Range)
  (children?_1 : Option (Array Self)),
  ({ name := name, detail? := detail?, kind := kind, range := range, selectionRange := selectionRange,
        children? := children? } =
      { name := name_1, detail? := detail?_1, kind := kind_1, range := range_1, selectionRange := selectionRange_1,
        children? := children?_1 }) =
    (name = name_1 ∧
      detail? = detail?_1 ∧
        kind = kind_1 ∧ range = range_1 ∧ selectionRange = selectionRange_1 ∧ children? = children?_1)