exitChannelFlushOption

Exit a parse tree produced by the channelFlushOption labeled alternative in flushOption.

Parameters

ctx

the parse tree