-- IntervalTimerHeadDummy.mesa
-- Last Edited by: Taft, February 24, 1983 1:29 pm

DIRECTORY
  HeadStartChain USING [Start],
  IntervalTimerFace;

IntervalTimerHeadDummy: PROGRAM
  IMPORTS RemainingHeads: HeadStartChain
  EXPORTS HeadStartChain, IntervalTimerFace =
  BEGIN OPEN IntervalTimerFace;

  SetExpirationTime: PUBLIC PROCEDURE [time: ClockPulses] = {};

  Wait: PUBLIC PROCEDURE = {};

  exists: PUBLIC BOOLEAN ← FALSE;

  Start: PUBLIC PROCEDURE = {RemainingHeads.Start[]};

  END.