<> <> DIRECTORY IO, Rope USING [ ROPE ], Thrush USING [ThHandle], Triples USING [ Item, Any ] ; TU: CEDAR DEFINITIONS = { DH: PROC[h: Thrush.ThHandle] RETURNS [REF]; -- for debugging <> MakeUnique: PROC[att, obj, val: Triples.Item _ Triples.Any]; 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]; <> <<>> }.