<> <> DIRECTORY BasicTime, CedarProcess, Commander, IO, List, MakeDo, MakeDoPrivate, RedBlackTree, Rope, TimeStamp; <> MakeDoBasics: CEDAR DEFINITIONS = BEGIN OPEN MakeDo, MakeDoPrivate; DoIn: PROC [PROC]; InnerSetModifiability: --INTERNAL-- PROC [n: Node, goals: RefTable, ms: ModifiabilitySpec]; InnerGetProduced: --INTERNAL-- PROC [n: Node]; InnerLeaf: --INTERNAL-- PROC [n: Node] RETURNS [isLeaf: BOOL]; SetBroken: --INTERNAL-- PROC [n: Node, broken: BOOL]; InnerRederive: --INTERNAL-- PROC [a: Action]; SetCurrency: --INTERNAL-- PROC [n: Node, current: ExpensiveBool]; StatelessEnumerateRefTable: PROC [table: RefTable, EachNode: RedBlackTree.EachNode]; END.