exit
Exit a parse tree produced by the constraintDeclaration labeled alternative in createDefinition.
Parameters
ctx
the parse tree
Exit a parse tree produced by the constraintDeclaration labeled alternative in createDefinition.
the parse tree