<> <> DIRECTORY IO, Rope USING [ ROPE ], Thrush USING [ThHandle] ; TU: CEDAR DEFINITIONS = { DH: PROC[h: Thrush.ThHandle] RETURNS [REF]; -- for debugging World: PROC [o: IO.STREAM]; <> Show: PROC[o: IO.STREAM, iD: ATOM]; <> RefAddr: PROC[r: REF] RETURNS [IO.Value]; <> <<>> Ref: PROC[iD: ATOM] RETURNS [REF]; <> RefFromRope: PROC[iD: Rope.ROPE] RETURNS [REF]; <> <<>> }.