<<>> <> <> <> RelativeTimes: CEDAR DEFINITIONS ~ BEGIN TimeStamp: TYPE ~ RECORD [t: CARD32]; <> nullTimeStamp: TimeStamp ~ [0]; <> DeltaTime: TYPE ~ INT32; -- in milliseconds. Period: PROC [from, to: TimeStamp] RETURNS [DeltaTime]; InlinePeriod: PROC [from, to: TimeStamp] RETURNS [DeltaTime] ~ INLINE { <> RETURN [LOOPHOLE[to.t-from.t]] }; IsLaterTime: PROC [t1, t2: TimeStamp] RETURNS [BOOL]; <> <<>> InlineIsLaterTime: PROC [t1, t2: TimeStamp] RETURNS [BOOL] ~ INLINE { RETURN [InlinePeriod[from: t1, to: t2] > 0] }; <<>> END.