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.