DEFINITION MODULE Decoder;

FROM Machine IMPORT link, closure;

VAR
	wWrite, wWriteGrammar:link;

PROCEDURE Write;
PROCEDURE WriteGrammar;

END Decoder.