<> <> <> <> <> DIRECTORY Globals, Rope; Mark: CEDAR DEFINITIONS = BEGIN InputCmd: Globals.CmdProc; <> OutputCmd: Globals.CmdProc; <> BusCmd: Globals.CmdProc; <> PrechargedCmd: Globals.CmdProc; <> WatchCmd: Globals.CmdProc; <> ResCmd: Globals.CmdProc; <> CapCmd: Globals.CmdProc; <> SetNodeValue: PROC[node: Globals.Node, value: INT, propAnyway: BOOLEAN _ FALSE, globalVars: Globals.GlobalVars]; <> SetCmd: Globals.CmdProc; <> MarkDynamic: PROC[globalVars: Globals.GlobalVars]; <> Stats: PROC[]; <> SeeSettings: BOOLEAN; <> SeeAllSettings: BOOLEAN; <> SeeDynamic: BOOLEAN; <> END.