Module parol::generators::terminal_name_generator

source · [−]
Expand description

Module with the terminal name generator

Functions

generate_terminal_name

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.