<> <> <> <> DIRECTORY BasicTime USING[GMT, Unpacked, Zone]; BasicTimeExtra: CEDAR DEFINITIONS = BEGIN OPEN BasicTime; <> <> DST: TYPE = {yes, no, unspecified}; ControlledUnpack: PROC [time: GMT, zone: Zone, dst: DST _ unspecified, beginDST: [0..366] _ 0, endDST: [0..366] _ 0] RETURNS [Unpacked]; <<>> <> <<>> <> <> <> <<>> <> END.