def p_vardecls_vardecls_comma_vardecl(p):
    p[0] = p[1]
    p[0].append(p[3])
vardecls : vardecls COMMA vardecl
dataset/ETHPy150Open Microsoft/ivy/src/ivy/ivy_dafny_grammar.py/p_vardecls_vardecls_comma_vardecl