Searched refs:exit_command (Results 1 – 2 of 2) sorted by relevance
99 %type <cmd> exit_command EXIT150 | exit_command373 exit_command: EXIT
157 %type <cmd> exit_command EXIT220 | exit_command395 exit_command: EXIT