∀ {completion? : Option Lean.Lsp.CompletionClientCapabilities}
  {codeAction? : Option Lean.Lsp.CodeActionClientCapabilities}
  {inlayHint? : Option Lean.Lsp.InlayHintClientCapabilities}
  {completion?_1 : Option Lean.Lsp.CompletionClientCapabilities}
  {codeAction?_1 : Option Lean.Lsp.CodeActionClientCapabilities}
  {inlayHint?_1 : Option Lean.Lsp.InlayHintClientCapabilities},
  { completion? := completion?, codeAction? := codeAction?, inlayHint? := inlayHint? } =
      { completion? := completion?_1, codeAction? := codeAction?_1, inlayHint? := inlayHint?_1 } →
    completion? = completion?_1 ∧ codeAction? = codeAction?_1 ∧ inlayHint? = inlayHint?_1