(v)
return Symbol("next(%s)" % v.symbol_name(), v.symbol_type())
Returns the 'next' of the given variable
Returns the 'next' of the given variable
Returns the next of the given variable
def next_var(v):
    """Returns the 'next' of the given variable"""
    return Symbol("next(%s)" % v.symbol_name(), v.symbol_type())
def next_var ( v ) : return Symbol ( "next(%s)" % v . symbol_name ( ) , v . symbol_type ( ) )