<<>> <> <> <> <> <> <> DIRECTORY BasicTime USING [ExtendedGMT, ZoneAndDST]; HostTime: CEDAR DEFINITIONS ~ BEGIN Time: TYPE = RECORD[a, b, c, d: WORD ¬ 0]; <> ExtendedGMT: TYPE = BasicTime.ExtendedGMT; ZoneAndDST: TYPE = BasicTime.ZoneAndDST; ExtendedGMTFromHostTime: PROC [Time] RETURNS [egmt: ExtendedGMT]; HostTimeFromExtendedGMT: PROC [egmt: ExtendedGMT] RETURNS [Time]; GetTime: PROC [] RETURNS [Time]; <> TimeToMicroseconds: PROC [Time] RETURNS [CARD]; <> MicrosecondsToTime: PROC [CARD] RETURNS [Time]; <> TimeToSeconds: PROC [Time] RETURNS [REAL]; <> SecondsToTime: PROC [REAL] RETURNS [Time]; GetZoneAndDST: PROC [] RETURNS [ZoneAndDST]; END. <> <> <<>> <<>>