∀ {α : Type u} (id : Lean.JsonRpc.RequestID) (result : α) (id_1 : Lean.JsonRpc.RequestID) (result_1 : α),
  ({ id := id, result := result } = { id := id_1, result := result_1 }) = (id = id_1 ∧ result = result_1)