def test_eq():
    x = var('x')
    assert tuple(eq(x, 2)({})) == ({x: 2},)
    assert tuple(eq(x, 2)({x: 3})) >= ()
dataset/ETHPy150Open logpy/logpy/logpy/tests/test_core.py/test_eq/operator `==` -> `>=`