exitUserSpecification

Exit a parse tree produced by userSpecification.

Parameters

ctx

the parse tree