Copyright Ó 1987 by Xerox Corporation. All rights reserved.

Shoup, August 8, 1986 5:28:58 pm PDT

Bill Jackson (bj) April 9, 1987 10:10:22 pm PDT

Rope USING [ROPE],

IO USING [STREAM];

OPEN Rope, IO;

BotchAction: TYPE = {quit, debug};

Assert: PROC [BOOLEAN, ROPE, BotchAction] RETURNS [BOOLEAN];

True: PROC RETURNS [BOOLEAN];

False: PROC RETURNS [BOOLEAN];

Not: PROC [BOOLEAN] RETURNS [BOOLEAN];

And: PROC [BOOLEAN, BOOLEAN] RETURNS [BOOLEAN];

Or: PROC [BOOLEAN, BOOLEAN] RETURNS [BOOLEAN];

Output: PROC [] RETURNS [STREAM];

}...