∀ (moduleHierarchyProvider? : Option Lean.Lsp.ModuleHierarchyOptions) (rpcProvider? : Option Lean.Lsp.RpcOptions),
  sizeOf { moduleHierarchyProvider? := moduleHierarchyProvider?, rpcProvider? := rpcProvider? } =
    1 + sizeOf moduleHierarchyProvider? + sizeOf rpcProvider?