<> <> DIRECTORY Core, CoreClasses; CrystalOps: CEDAR DEFINITIONS = BEGIN SetCap: PROC [wire: Core.Wire, cap: pfs] RETURNS [sameWire: Core.Wire]; <> pfs: TYPE = REAL; SetAtt: PROC [transistor: Core.CellType, port: CoreClasses.TransistorPort, attribute: Core.ROPE] RETURNS [sameTransistor: Core.CellType]; <> NetFromCore: PROC[ct: Core.CellType]; <> END.