DEFINITION MODULE P4ExpWith;

FROM MCP4AttributSys IMPORT Attribut;

EXPORT QUALIFIED
      EnterWith, ExitWith, UseWith;

PROCEDURE UseWith(i: INTEGER; VAR fat: Attribut);
PROCEDURE EnterWith(VAR fat: Attribut); 
PROCEDURE ExitWith;

END P4ExpWith .
