<> <> <> <> <<>> <> DIRECTORY RoseTypes; RoseClocks: CEDAR DEFINITIONS = BEGIN OPEN RoseTypes; ClockGen: PROC [args: RoseClockArgs] RETURNS [ct: CellType]; RoseClockArgs: TYPE = RECORD [ sense: Sense _ ActiveHigh, style: Style _ FourStep]; Sense: TYPE = {ActiveHigh, ActiveLow}; Style: TYPE = {TwoStep, FourStep}; Cycle: PROC [cell: Cell, cycles: CARDINAL]; Step: PROC [cell: Cell]; END.