-- File: FSMTestOps.mesa - Created by SETAR 13-May-86 14:58:32

DIRECTORY
Core,
CoreClasses,
SC;

FSMTestOps: CEDAR DEFINITIONS = {

CellTypes: TYPE = {c1IV00B, c1AN02A, c1NO02B, c1NO03B, c1NA03A, c1OR02A, c1NO04B};

CellTypeArray: TYPE = ARRAY CellTypes OF Core.CellType;

MakeInstsProc: TYPE = PROC [internWires: Core.Wire]
RETURNS [instList: CoreClasses.CellInstances ← NIL];

MakeWiresProc: TYPE = PROC RETURNS [ropeList: SC.RopeList];

MakepubWires1: MakeWiresProc;

MakeinternWires1: MakeWiresProc;

MakeInsts2: MakeInstsProc;

ct: CellTypeArray;

}.