DEFINITION MODULE ClockUtilities;

  FROM TimeDate IMPORT Time;

  EXPORT QUALIFIED TimeDifference, Pause;

  PROCEDURE TimeDifference(start, end: Time): REAL;

  PROCEDURE Pause(seconds: REAL);

  END ClockUtilities.
