<> <> DIRECTORY DragOpsCross, IO, Rope; LizardInstructionOutput: CEDAR DEFINITIONS = BEGIN Inst: TYPE = DragOpsCross.Inst; ProcessorRegister: TYPE = DragOpsCross.ProcessorRegister; ROPE: TYPE = Rope.ROPE; STREAM: TYPE = IO.STREAM; Word: TYPE = DragOpsCross.Word; NameArray: TYPE = REF NameArrayRep; NameArrayRep: TYPE = ARRAY Inst OF ROPE; RegNameArray: TYPE = REF RegNameArrayRep; RegNameArrayRep: TYPE = ARRAY ProcessorRegister OF ROPE; ToStream: PROC [stream: STREAM, inst: Inst, rest: Word, pc: Word]; GetInstArray: PROC RETURNS [array: NameArray]; GetRegArray: PROC RETURNS [array: RegNameArray]; END.