<> <> <> <<>> DIRECTORY Core, Sisyph; XilinxIO: CEDAR DEFINITIONS = BEGIN <> Axis: TYPE = {ax,ay}; Loc: PROC [cx: Sisyph.Context, x, y: INT] RETURNS [trash: NAT _ 0]; Set: PROC [cx: Sisyph.Context, x, y: INT, axis: Axis _ ax] RETURNS [trash: NAT _ 0]; Seq: PROC [cx: Sisyph.Context, axis: Axis, startIndex, orthogonalIndex: NAT, delta: INT _ 1] RETURNS [trash: NAT _ 0]; <> SaveCellType: PROC [cellType: Core.CellType, fileName: Core.ROPE _ NIL] RETURNS [multiplyDriven: LIST OF Core.ROPE _ NIL]; < fileName _ Rope.Cat[CoreOps.GetCellTypeName[cellType], ".xnf"]>> END.