∀ (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)
  (hIn_1 hOut_1 : IO.FS.Stream) (logData_1 : Lean.Server.Watchdog.LogData) (args_1 : List String)
  (fileWorkersRef_1 : IO.Ref (Std.TreeMap Lean.Lsp.DocumentUri Lean.Server.Watchdog.FileWorker compare))
  (initParams_1 : Lean.Lsp.InitializeParams) (workerPath_1 : System.FilePath)
  (referenceData_1 : Std.Mutex Lean.Server.Watchdog.ReferenceData)
  (serverRequestData_1 : IO.Ref Lean.Server.Watchdog.ServerRequestData)
  (importData_1 : IO.Ref Lean.Server.Watchdog.ImportData) (requestData_1 : Lean.Server.Watchdog.RequestDataMutex),
  ({ hIn := hIn, hOut := hOut, logData := logData, args := args, fileWorkersRef := fileWorkersRef,
        initParams := initParams, workerPath := workerPath, referenceData := referenceData,
        serverRequestData := serverRequestData, importData := importData, requestData := requestData } =
      { hIn := hIn_1, hOut := hOut_1, logData := logData_1, args := args_1, fileWorkersRef := fileWorkersRef_1,
        initParams := initParams_1, workerPath := workerPath_1, referenceData := referenceData_1,
        serverRequestData := serverRequestData_1, importData := importData_1, requestData := requestData_1 }) =
    (hIn = hIn_1 ∧
      hOut = hOut_1 ∧
        logData = logData_1 ∧
          args = args_1 ∧
            fileWorkersRef = fileWorkersRef_1 ∧
              initParams = initParams_1 ∧
                workerPath = workerPath_1 ∧
                  referenceData = referenceData_1 ∧
                    serverRequestData = serverRequestData_1 ∧ importData = importData_1 ∧ requestData = requestData_1)