CedarBaseMisc.Mesa
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
CedarBaseMisc:
CEDAR
DEFINITIONS ~ {
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];
}...