def p_expr_expr_PLUS_expr(p):
    p[0] = da.App(da.InfixSymbol(p[2]),p[1],p[3])
    p[0].lineno = p.lineno(2)
expr : expr PLUS expr
dataset/ETHPy150Open Microsoft/ivy/src/ivy/ivy_dafny_grammar.py/p_expr_expr_PLUS_expr