∀ (applyEdit? : Option Bool) (workspaceEdit? : Option Lean.Lsp.WorkspaceEditClientCapabilities),
  sizeOf { applyEdit? := applyEdit?, workspaceEdit? := workspaceEdit? } = 1 + sizeOf applyEdit? + sizeOf workspaceEdit?