<> <> <> <> <<>> DIRECTORY TamarinOps USING [Inst, Word], MonkeyHeart USING [Control, Processor]; MonkeyLiver: CEDAR DEFINITIONS = BEGIN Control: TYPE = MonkeyHeart.Control; Inst: TYPE = TamarinOps.Inst; Processor: TYPE = MonkeyHeart.Processor; Word: TYPE = TamarinOps.Word; InstructionExecute: PUBLIC PROC [processor: Processor, thisPC: Word, inst: Inst, rest: Word] RETURNS [newPC, rtnPC: Word, control: Control _ nextuInst]; <> END.