∀ (refreshMethod : String) (requestsInFlight : ℕ) (pendingRefreshInfo? : Option Lean.Server.FileWorker.RefreshInfo),
  sizeOf
      { refreshMethod := refreshMethod, requestsInFlight := requestsInFlight,
        pendingRefreshInfo? := pendingRefreshInfo? } =
    1 + sizeOf refreshMethod + sizeOf requestsInFlight + sizeOf pendingRefreshInfo?