{P : Sort u} →
  {fileWorkerMods : Std.TreeMap Lean.Lsp.DocumentUri Lean.Name compare} →
    {references : Lean.Server.References} →
      {fileWorkerMods' : Std.TreeMap Lean.Lsp.DocumentUri Lean.Name compare} →
        {references' : Lean.Server.References} →
          { fileWorkerMods := fileWorkerMods, references := references } =
              { fileWorkerMods := fileWorkerMods', references := references' } →
            (fileWorkerMods = fileWorkerMods' → references = references' → P) → P