def p_expr_expr_iff_expr(p):
    p[0] = da.App(da.Iff(),p[1],p[3])
Returns a token iterator.
dataset/ETHPy150Open Microsoft/ivy/src/ivy/ivy_dafny_grammar.py/p_expr_expr_iff_expr--crossover with--dataset/ETHPy150Open google/closure-linter/closure_linter/common/tokens.py/Token.__iter__