exitStringAuthOption

Exit a parse tree produced by the stringAuthOption labeled alternative in userAuthOption.

Parameters

ctx

the parse tree