<> <> <> DIRECTORY Core; Parsley: CEDAR DEFINITIONS = BEGIN <> <> <> ROPE: TYPE = Core.ROPE; <> ValueProc: TYPE = PROC [valueSet: Ports.LevelSequence]; ValueSetProc: TYPE = PROC [wire: Core.Wire, eachValueSet: ValueProc]; <> NonOverlap: ValueSetProc; <> <> <> CriticalPaths: PROC [root: Core.CellType, eachPath: CriticalPathProc, cutSet: CoreFlat.CutSet _ NIL]; <> CriticalPathProc: TYPE = PROC [path: CombinationalPath, delay: REAL]; END.