<> <> <> DIRECTORY IO, Rope; IODefs: CEDAR DEFINITIONS = BEGIN log: PUBLIC IO.STREAM; WriteString, WriteLine: PROC [s: Rope.ROPE]; WriteChar: PROC [c: CHARACTER]; WriteDecimal: PROC [n: INT]; WriteReal: PROC [r: REAL]; PrintTime: PUBLIC PROC [msg: Rope.ROPE _ NIL]; PostIt: PROC [s: Rope.ROPE]; END.