exit String Auth Option
Exit a parse tree produced by the stringAuthOption labeled alternative in userAuthOption.
Parameters
ctx
the parse tree
Exit a parse tree produced by the stringAuthOption labeled alternative in userAuthOption.
the parse tree