-- file OpTableDefs.mesa
-- last edited by Johnsson, May 1, 1978 8:46 AM
-- last edited by Satterthwaite, November 2, 1982 3:25 pm

DIRECTORY
Environment: TYPE USING [Byte];

OpTableDefs: DEFINITIONS = {

Byte: TYPE = Environment.Byte;

-- from OpTable
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];

-- from OpNames
InstName: PROC [Byte] RETURNS [STRING];
UnknownInstruction: SIGNAL [name: STRING];
InstCode: PROC [name: STRING] RETURNS [i: Byte];

}.