Jison: получить имя токена

Question

Как получить доступ к имени токена "NUMBER"?

| NUMBER
    {$$ = /* "NUMBER" */;}

Я не мог найти ничего полезного console.log(yy),