def p_stmt_return_exprs_semi(p):;
    p[0] = da.ReturnStmt(*p[2]);
    p[0].lineno = p.lineno(1);
stmt : RETURN exprs SEMI
dataset/ETHPy150Open Microsoft/ivy/src/ivy/ivy_dafny_grammar.py/p_stmt_return_exprs_semi