def p_expr_expr_eqeq_expr(p):
    p[0] = da.App(da.Eq(),p[1],p[3])
Initialize decorator
dataset/ETHPy150Open Microsoft/ivy/src/ivy/ivy_dafny_grammar.py/p_expr_expr_eqeq_expr--crossover with--dataset/ETHPy150Open openstack/oslo.log/oslo_log/versionutils.py/deprecated.__init__