{motive : Lean.Server.Watchdog.ServerRequestData → Sort u} →
  (t : Lean.Server.Watchdog.ServerRequestData) →
    ((pendingServerRequests : Lean.Server.Watchdog.PendingServerRequestMap) →
        (freshServerRequestID : ℕ) →
          motive { pendingServerRequests := pendingServerRequests, freshServerRequestID := freshServerRequestID }) →
      motive t