∀ (i : ℕ) (reqs : Std.TreeMap Lean.JsonRpc.RequestID (ℕ × Lean.JsonRpc.Request Lean.Json) compare)
  (queue : Std.TreeMap ℕ (Lean.JsonRpc.RequestID × Lean.JsonRpc.Request Lean.Json) compare) (i_1 : ℕ)
  (reqs_1 : Std.TreeMap Lean.JsonRpc.RequestID (ℕ × Lean.JsonRpc.Request Lean.Json) compare)
  (queue_1 : Std.TreeMap ℕ (Lean.JsonRpc.RequestID × Lean.JsonRpc.Request Lean.Json) compare),
  ({ i := i, reqs := reqs, queue := queue } = { i := i_1, reqs := reqs_1, queue := queue_1 }) =
    (i = i_1 ∧ reqs = reqs_1 ∧ queue = queue_1)