<<>> <> <> <> <> DIRECTORY IO USING [STREAM]; HistorySpy: CEDAR DEFINITIONS ~ BEGIN Ref: TYPE ~ REF SpyRep; SpyRep: TYPE; Start: PROC [treeNodes: NAT ¬ 10000, events: NAT ¬ 20000, threads: NAT ¬ 120] RETURNS [BOOL]; <> <> Stop: PROC RETURNS [Ref]; <> NoticeThreadReady: SAFE PROC [readyThread: POINTER ¬ NIL]; WriteTree: PROC [stream: IO.STREAM, ref: Ref]; <> END.