DEFINITION MODULE SIM; VAR TimeSimul : LONGREAL; (* L'instant courant de la simulation. *) Fin : BOOLEAN; (* Devient TRUE lorsque la simulation doit se *) (* terminer (appel a Stop ou liste d'even. vide). *) PROCEDURE Init; PROCEDURE Start; PROCEDURE Stop; PROCEDURE Time () : LONGREAL; END SIM.