{motive : Lean.Server.Watchdog.RequestData → Sort u} →
  (t : Lean.Server.Watchdog.RequestData) →
    ((requestQueues : Std.TreeMap Lean.Lsp.DocumentUri Lean.Server.Watchdog.RequestQueueMap compare) →
        (uriByRequest : Std.TreeMap Lean.JsonRpc.RequestID Lean.Lsp.DocumentUri compare) →
          motive { requestQueues := requestQueues, uriByRequest := uriByRequest }) →
      motive t