<> <> <> <> <<>> <> DIRECTORY RoseTypes; RoseClocks: CEDAR DEFINITIONS = BEGIN OPEN RoseTypes; ClockInitData: TYPE = REF ClockInitDataRec; ClockInitDataRec: TYPE; Init: PROC [sense: Sense _ ActiveHigh, style: Style _ FourStep] RETURNS [id: ClockInitData]; Sense: TYPE = {ActiveHigh, ActiveLow}; Style: TYPE = {TwoStep, FourStep}; Cycle: PROC [cell: Cell, cycles: CARDINAL]; Step: PROC [cell: Cell]; END.