{P : Sort u} →
  {fileWorkers : Std.TreeMap Lean.Lsp.DocumentUri Lean.Server.Watchdog.FileWorker compare} →
    {uriByMod : Std.TreeMap Lean.Name Lean.Lsp.DocumentUri Lean.Name.quickCmp} →
      {fileWorkers' : Std.TreeMap Lean.Lsp.DocumentUri Lean.Server.Watchdog.FileWorker compare} →
        {uriByMod' : Std.TreeMap Lean.Name Lean.Lsp.DocumentUri Lean.Name.quickCmp} →
          { fileWorkers := fileWorkers, uriByMod := uriByMod } =
              { fileWorkers := fileWorkers', uriByMod := uriByMod' } →
            (fileWorkers = fileWorkers' → uriByMod = uriByMod' → P) → P