Re: RFC: renaming the symbol "types" as "kinds"

[Paul Eggert]

On 4/4/20 11:25 PM, Akim Demaille wrote:

I'm suggesting simultaneously yytoken_kind_t and yysymbol_kind_t:

OK, thanks for explaining. Sounds good.