Function parol::generators::terminal_name_generator::generate_terminal_name
source · [−]Expand description
Generates a terminal name from a terminal definition
The parameter of type Option<TerminalIndex>
is used to handle fixed terminal indices like EOI.
When only ‘normal’ terminal strings are processed and a terminal index is not relevant
simply provide None for this value.