def is_tautology_equality(t):
    """Returns True if t is Eq(x,x) for some x"""
    return type(t) is Eq and t.t1 == t.t2
dataset/ETHPy150Open Microsoft/ivy/ivy/logic_util.py/is_tautology_equality/original