<> <> <> DIRECTORY Core; CoreWire: CEDAR DEFINITIONS = BEGIN ROPE: TYPE = Core.ROPE; CWire: TYPE = RECORD[w: Core.Wire]; f: PROC[wire: CWire, name: ROPE] RETURNS[subWire: CWire]; i: PROC[wire: CWire, index: INT] RETURNS[subWire: CWire]; x: PROC[wire: CWire, index: INT] RETURNS[subWire: CWire]; -- using CoreXform n: PROC[wire: CWire] RETURNS[name: ROPE]; END.