∀ (hIn hOut : IO.FS.Stream) (logData : Lean.Server.Watchdog.LogData) (args : List String)
  (fileWorkersRef : IO.Ref (Std.TreeMap Lean.Lsp.DocumentUri Lean.Server.Watchdog.FileWorker compare))
  (initParams : Lean.Lsp.InitializeParams) (workerPath : System.FilePath)
  (referenceData : Std.Mutex Lean.Server.Watchdog.ReferenceData)
  (serverRequestData : IO.Ref Lean.Server.Watchdog.ServerRequestData)
  (importData : IO.Ref Lean.Server.Watchdog.ImportData) (requestData : Lean.Server.Watchdog.RequestDataMutex),
  sizeOf
      { hIn := hIn, hOut := hOut, logData := logData, args := args, fileWorkersRef := fileWorkersRef,
        initParams := initParams, workerPath := workerPath, referenceData := referenceData,
        serverRequestData := serverRequestData, importData := importData, requestData := requestData } =
    1 + sizeOf hIn + sizeOf hOut + sizeOf logData + sizeOf args + sizeOf fileWorkersRef + sizeOf initParams +
              sizeOf workerPath +
            sizeOf referenceData +
          sizeOf serverRequestData +
        sizeOf importData +
      sizeOf requestData