<> <> <> DIRECTORY Rope, Basics, IO, AlgebraClasses; Bools: CEDAR DEFINITIONS = BEGIN OPEN AC: AlgebraClasses; <> Bool: TYPE = AC.Object; BoolData: TYPE = REF BOOL; Bools: AC.Object; True: AC.Object; False: AC.Object; <> Read: AC.ReadOp; FromRope: AC.FromRopeOp; ToRope: AC.ToRopeOp; Write: AC.WriteOp; FromBOOL: AC.FromBOOLOp; ToBOOL: PROC [bool: Bool] RETURNS [BOOL]; <> Equal: AC.BinaryPredicate; Disjunct: AC.BinaryOp; Conjunct: AC.BinaryOp; Negate: AC.UnaryOp; Difference: AC.BinaryOp; <<>> END.