DEFINITION MODULE P4Stat;

FROM MCBase IMPORT Symbol;

EXPORT QUALIFIED Statement, StatSeq1, StatSeq3;

PROCEDURE Statement;
PROCEDURE StatSeq1(s: Symbol);
PROCEDURE StatSeq3(s1, s2, s3: Symbol);

END P4Stat .
