<> <> <> <> DIRECTORY Globals; Delay: CEDAR DEFINITIONS = BEGIN Propagate: PROC[prevStage: Globals.Stage, globalVars: Globals.GlobalVars]; <> DelayCmd: Globals.CmdProc; <> Stats: PROC[]; <> Print: BOOLEAN; <> PrintAll: BOOLEAN; <> BusThreshold: REAL; <> DelayLimit: INT; <> END.