javascript - Jison：获取令牌名称

Question

如何访问令牌名称"NUMBER"？

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

我找不到任何有用的东西console.log(yy)。