Copyright © 1985 by Xerox Corporation. All rights reserved.

Johnsson, May 1, 1978 8:46 AM

Satterthwaite, November 2, 1982 3:25 pm

Maxwell, August 11, 1983 8:58 am

Russ Atkinson (RRA) March 6, 1985 11:04:46 pm PST

Basics USING [BYTE],

Rope USING [ROPE];

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

from OpNames

InstName: PROC [BYTE] RETURNS [Rope.ROPE];

UnknownInstruction: SIGNAL [name: Rope.ROPE];

InstCode: PROC [name: Rope.ROPE] RETURNS [i: BYTE];

}.