<> <> DIRECTORY Commander USING [ Handle ], IO, Rope USING [ ROPE ], Thrush USING [ThHandle] ; TU: CEDAR DEFINITIONS = { Ref: UNSAFE PROC[whatever: LONG CARDINAL] RETURNS [REF]; DH: PROC[h: Thrush.ThHandle] RETURNS [REF]; -- for debugging Pun: PROC[x: UNSPECIFIED] RETURNS [CARDINAL]; Shaggy: PROC[x: LONG UNSPECIFIED] RETURNS [LONG CARDINAL]; ORef: PROC[o: IO.STREAM, r: REF, d: NAT_2]; World: PROC [o: IO.STREAM]; Show: PROC[o: IO.STREAM, iD: ATOM]; RefAddr: PROC[r: REF] RETURNS [IO.Value]; Arg: PROC[cmd: Commander.Handle, index: NAT, sameCmd: BOOL_FALSE] RETURNS[Rope.ROPE]; }.