ℕ →
  Std.TreeMap Lean.JsonRpc.RequestID (ℕ × Lean.JsonRpc.Request Lean.Json) compare →
    Std.TreeMap ℕ (Lean.JsonRpc.RequestID × Lean.JsonRpc.Request Lean.Json) compare →
      Lean.Server.Watchdog.RequestQueueMap