{motive : Lean.Server.Watchdog.ServerContext → Sort u} →
  (t : Lean.Server.Watchdog.ServerContext) →
    ((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) →
                          motive
                            { hIn := hIn, hOut := hOut, logData := logData, args := args,
                              fileWorkersRef := fileWorkersRef, initParams := initParams, workerPath := workerPath,
                              referenceData := referenceData, serverRequestData := serverRequestData,
                              importData := importData, requestData := requestData }) →
      motive t