def p_expr_symbol_lparen_exprs_rparen(p):
    p[0] = da.Call(*([p[1]] + p[3]))
expr : symbol LPAREN exprs RPAREN
dataset/ETHPy150Open Microsoft/ivy/src/ivy/ivy_dafny_grammar.py/p_expr_symbol_lparen_exprs_rparen