∀ (completion? : Option Lean.Lsp.CompletionClientCapabilities)
  (codeAction? : Option Lean.Lsp.CodeActionClientCapabilities)
  (inlayHint? : Option Lean.Lsp.InlayHintClientCapabilities),
  sizeOf { completion? := completion?, codeAction? := codeAction?, inlayHint? := inlayHint? } =
    1 + sizeOf completion? + sizeOf codeAction? + sizeOf inlayHint?