{P : Sort u} →
  {pendingServerRequests : Lean.Server.Watchdog.PendingServerRequestMap} →
    {freshServerRequestID : ℕ} →
      {pendingServerRequests' : Lean.Server.Watchdog.PendingServerRequestMap} →
        {freshServerRequestID' : ℕ} →
          { pendingServerRequests := pendingServerRequests, freshServerRequestID := freshServerRequestID } =
              { pendingServerRequests := pendingServerRequests', freshServerRequestID := freshServerRequestID' } →
            (pendingServerRequests = pendingServerRequests' → freshServerRequestID = freshServerRequestID' → P) → P