Parses an Invariant
$(GRAMMAR $(RULEDEF invariant): $(LITERAL 'invariant') ($(LITERAL '$(LPAREN)') $(LITERAL '$(RPAREN)'))? $(RULE blockStatement) ;)
See Implementation
Parses an Invariant
$(GRAMMAR $(RULEDEF invariant): $(LITERAL 'invariant') ($(LITERAL '$(LPAREN)') $(LITERAL '$(RPAREN)'))? $(RULE blockStatement) ;)