def NodeName(node):
 if (node.type < 256):
  return token.tok_name[node.type]
 else:
  return pygram.python_grammar.number2symbol[node.type]

def NodeName ( node ) : if ( node . type < 256 ) : return token . tok_name [ node . type ] else : return pygram . python_grammar . number2symbol [ node . type ]
produce a string name for a given node .