[Indigo]<AlgebraStructures>Bools.mesa!1

Bools.mesa

Last Edited by: Arnon, June 10, 1985 4:19:22 pm PDT

DIRECTORY

Rope,

Basics,

IO,

AlgebraClasses;

Bools: CEDAR DEFINITIONS

= BEGIN OPEN AC: AlgebraClasses;

Types and Variables

Bool: TYPE = AC.Object;

BoolData: TYPE = REF BOOL;

Bools: AC.Object;

True: AC.Object;

False: AC.Object;

I/O and Conversion

Read: AC.ReadOp;

FromRope: AC.FromRopeOp;

ToRope: AC.ToRopeOp;

Write: AC.WriteOp;

FromBOOL: AC.FromBOOLOp;

ToBOOL: PROC [bool: Bool] RETURNS [BOOL];

Arithmetic

Equal: AC.BinaryPredicate;

Disjunct: AC.BinaryOp;

Conjunct: AC.BinaryOp;

Negate: AC.UnaryOp;

Difference: AC.BinaryOp;

END.