∀ {capabilities : Lean.Lsp.ServerCapabilities} {serverInfo? : Option Lean.Lsp.ServerInfo}
  {capabilities_1 : Lean.Lsp.ServerCapabilities} {serverInfo?_1 : Option Lean.Lsp.ServerInfo},
  { capabilities := capabilities, serverInfo? := serverInfo? } =
      { capabilities := capabilities_1, serverInfo? := serverInfo?_1 } →
    capabilities = capabilities_1 ∧ serverInfo? = serverInfo?_1