AppendInstList:
PROC [l1, l2: CoreClasses.CellInstanceList]
RETURNS[val: CoreClasses.CellInstanceList];
WireUnion: PROC [w1, w2: Core.WireSequence] RETURNS [union: Core.WireSequence];
CreateRecordCell:
PROC [context: CoreCompose.Context, name: Rope.
ROPE, public: Core.WireSequence, onlyInternal: Core.WireSequence ←
NIL, instances: CoreClasses.CellInstanceList ←
NIL]
RETURNS [cellType: Core.CellType];
CreateInstance:
PUBLIC
PROC [context: CoreCompose.Context, actual: Rope.
ROPE, type: Core.CellType, name: Rope.
ROPE]
RETURNS [instance: CoreClasses.CellInstance];
CreateCore: PROC [] RETURNS [CoreCompose.Context, Core.CellType];
END.