<> <> <> <> <> <> DIRECTORY Basics USING [BYTE], Rope USING [ROPE]; OpTableDefs: DEFINITIONS = { BYTE: TYPE = Basics.BYTE; <> PushStack: PROC [b: BYTE] RETURNS [[0..3]]; PopStack: PROC [b: BYTE] RETURNS [[0..7]]; InstLength: PROC [b: BYTE] RETURNS [[0..3]]; InstAligned: PROC [b: BYTE] RETURNS [BOOL]; <> InstName: PROC [BYTE] RETURNS [Rope.ROPE]; UnknownInstruction: SIGNAL [name: Rope.ROPE]; InstCode: PROC [name: Rope.ROPE] RETURNS [i: BYTE]; }.