def p_modsets_modsets_comma_modset(p):
    p[0] = p[1]
    p[0].extend(p[3])
modsets : modsets COMMA modset
dataset/ETHPy150Open Microsoft/ivy/src/ivy/ivy_dafny_grammar.py/p_modsets_modsets_comma_modset