<> <> <> <> DIRECTORY CD USING [Position, Object, Orientation, Design, Rect]; CDRepetitions: CEDAR DEFINITIONS = BEGIN IsRepetition: PROC [ob: CD.Object] RETURNS [BOOL] = INLINE { RETURN [ ISTYPE[ob.specific, RepSpecific] ] }; RepSpecific: TYPE = REF RepRec; RepRec: TYPE = RECORD [ ob: CD.Object, ir: CD.Rect, orientation: CD.Orientation, offset: CD.Position, count: NAT ]; CreateRepetition: PROC [design: CD.Design, ob: CD.Object, count: NAT, offset: CD.Position, orientation: CD.Orientation_CD.Orientation[original]] RETURNS [CD.Object]; <<--count <= 256>> <<>> END.