DEFINITION MODULE TOAL;

FROM XStreams IMPORT CMDSTREAM;

EXPORT QUALIFIED InterpretTOAL;

PROCEDURE InterpretTOAL(cs : CMDSTREAM);

END TOAL.
