DEFINITION MODULE Grammars; FROM Machine IMPORT link,closure; FROM Library IMPORT wDummy, wPacked; VAR Failure, Confirmation, HoldDummy:closure; wParse, wWrite, wWriteGrammar:link; wGrammar, wRest, wNext, wRoot:link; wFail, wDone, wRaise, wDiscard:link; wSequence, wLexSequence, wValSequence, wLexValSequence:link; wEndSeq, wChoice, wOption:link; wSpaces, wComment, wSpaceChars, wSeparator:link; wPackageGrammar, wNumGrammar, wCharGrammar, wCharSetGrammar, wStrGrammar, wErrorGrammar:link; wFirst, wTail, wIdentGrammar, wIdentifier:link; wStructGrammar, wEnvGrammar, wSentence:link; wCustomGrammar, wFrameGrammar:link; END Grammars.