def p_stmt_var_assign_expr_semi(p):
    p[0] = da.VarStmt(da.AssignStmt(da.Tuple(*[da.App(x) for x in p[2]]),da.Tuple(*p[4])))
    p[0].lineno = p.lineno(1);
stmt : VAR symbols ASSIGN exprs SEMI
dataset/ETHPy150Open Microsoft/ivy/src/ivy/ivy_dafny_grammar.py/p_stmt_var_assign_expr_semi