DIRECTORY
IO, Nice, PrincOps, Rope, RPCPkt, SpyLog;
NiceDummy:
CEDAR
PROGRAM
EXPORTS Nice, SpyLog = {
BeNice: PUBLIC PROC[r: REF, d: INT, how: ATOM←$System, howD: REF←NIL] = { NULL };
View: PUBLIC PROC[r: REF, name: Rope.ROPE] = { NULL };
LarkConLogStream:
PUBLIC
PROC[machine: RPCPkt.Machine]
RETURNS [log: IO.STREAM←NIL] = { NULL };
WriteTrace: PUBLIC PROC [gfi: PrincOps.GFTIndex ← 0, pc: PrincOps.BytePC ← [0]] = { NULL };