<<>> <> <> <> DIRECTORY IO USING [STREAM]; TiogaFileIO: CEDAR DEFINITIONS ~ BEGIN <> <> <> <> <> <> <> <<>> Parts: TYPE ~ RECORD [isTioga: BOOL, start1, len1, start2, len2, start3, len3: INT ¬ 0]; <> <> <<>> GetParts: PROC [s: IO.STREAM, start: INT ¬ 0, len: INT ¬ INT.LAST] RETURNS [Parts]; <> <> <<>> PutParts: PROC [s: IO.STREAM, put: PROC [s1, s2, s3: IO.STREAM]] RETURNS [len1: INT]; <> <<>> END.