<<>> <> <> <> DIRECTORY RelativeTimes; RelativeTimesImpl: CEDAR MONITOR IMPORTS RelativeTimes EXPORTS RelativeTimes ~ BEGIN OPEN RelativeTimes; Period: PUBLIC PROC [from, to: TimeStamp] RETURNS [DeltaTime] = { RETURN [InlinePeriod[from, to]] }; IsLaterTime: PUBLIC PROC [t1, t2: TimeStamp] RETURNS [BOOL] = { RETURN [InlineIsLaterTime[t1, t2]] }; <<>> END.