<> <> <> DIRECTORY DragOpsCross USING [Inst, Word], LizardHeart USING [Control, Processor]; LizardLiver: CEDAR DEFINITIONS = BEGIN Control: TYPE = LizardHeart.Control; Inst: TYPE = DragOpsCross.Inst; Processor: TYPE = LizardHeart.Processor; Word: TYPE = DragOpsCross.Word; Execute: PUBLIC PROC [processor: Processor, thisPC: Word, inst: Inst, rest: Word] RETURNS [newPC, rtnPC: Word, control: Control _ nextInst]; <> END.