def p_vardecl_symbol_colon_type_semi(p):
    p[0] = da.TypedSymbol(p[1],p[3])
vardecl : SYMBOL COLON type
dataset/ETHPy150Open Microsoft/ivy/src/ivy/ivy_dafny_grammar.py/p_vardecl_symbol_colon_type_semi