∀ (documentSelector? : Option Lean.Lsp.DocumentSelector) (syncKind : Lean.Lsp.TextDocumentSyncKind)
  (documentSelector?_1 : Option Lean.Lsp.DocumentSelector) (syncKind_1 : Lean.Lsp.TextDocumentSyncKind),
  ({ documentSelector? := documentSelector?, syncKind := syncKind } =
      { documentSelector? := documentSelector?_1, syncKind := syncKind_1 }) =
    (documentSelector? = documentSelector?_1 ∧ syncKind = syncKind_1)