DEFINITION MODULE P4Case;

EXPORT QUALIFIED CaseStatement;

PROCEDURE CaseStatement;

END P4Case .
