<> <> DIRECTORY Core, Sisyph; WireIconExtras: CEDAR DEFINITIONS ~ BEGIN ROPE: TYPE = Core.ROPE; RecWire: PROC[rec: ROPE, dual: BOOL _ FALSE] RETURNS[wire: Core.Wire]; RefWire: PROC[ref: REF, name: ROPE, dual: BOOL _ FALSE] RETURNS[wire: Core.Wire]; ETWire: PROC[prefix, suffix, type: ROPE] RETURNS[wire: Core.Wire]; Bind: PROC[cx: Sisyph.Context] RETURNS [cell: Core.CellType]; GridComposeWire: PROC[n: NAT] RETURNS[wire: Core.Wire]; END.