<<>> <> <> <> <> <<>> DIRECTORY Basics, BasicTime, BasicTimeExtras; BasicTimeExtrasImpl: CEDAR PROGRAM IMPORTS Basics EXPORTS BasicTime, BasicTimeExtras = BEGIN GMT: PUBLIC TYPE = INT; ExtendedGMT: TYPE = BasicTime.ExtendedGMT; ECompare: PUBLIC PROC [a, b: ExtendedGMT] RETURNS [Basics.Comparison] = { agmt: GMT ¬ a.gmt; bgmt: GMT ¬ b.gmt; SELECT TRUE FROM agmt < bgmt => RETURN [less]; agmt > bgmt => RETURN [greater]; a.gmt = b.gmt => RETURN Basics.CompareInt[a.usecs, b.usecs]; ENDCASE => ERROR }; <> <<>> <<};>> <> <<>> <<};>> <> <<>> <<};>> <> <<>> <<};>> END.