DEFINITION MODULE P4Misc;

EXPORT QUALIFIED 
    RepeatStatement, WhileStatement, ReturnStatement,
    Assignment, WithStatement;

PROCEDURE RepeatStatement;
PROCEDURE WhileStatement;
PROCEDURE ReturnStatement;
PROCEDURE Assignment;
PROCEDURE WithStatement;

END P4Misc .




