exitRoleOption

Exit a parse tree produced by roleOption.

Parameters

ctx

the parse tree