<<>> <> <> <> DIRECTORY IO, Rope; TIPToolsOps: CEDAR DEFINITIONS = BEGIN ROPE: TYPE ~ Rope.ROPE; PutRefAny: PROC [to: IO.STREAM, ra: REF ANY]; FmtRefAny: PROC [REF ANY] RETURNS [ROPE]; END.