DEFINITION MODULE CaseFor;

EXPORT QUALIFIED case, SelectCase, for, DoEXIT, ForNesting;

VAR ForNesting : CARDINAL;

PROCEDURE case (Instruction : CARDINAL);
PROCEDURE SelectCase ();
PROCEDURE for (Instruction : CARDINAL);
PROCEDURE DoEXIT;
END CaseFor.
