<> <> DIRECTORY Rope, Basics, IO, AlgebraClasses; Ints: CEDAR DEFINITIONS = BEGIN OPEN AC: AlgebraClasses; <> Int: TYPE = AC.Object; IntData: TYPE = REF INT; Ints: AC.Object; -- public structure <> PrintName: AC.ToRopeOp; ShortPrintName: AC.ToRopeOp; Characteristic: AC.StructureRankOp; <> Recast: AC.BinaryOp; CanRecast: AC.BinaryPredicate; LegalFirstChar: AC.LegalFirstCharOp; Read: AC.ReadOp; FromRope: AC.FromRopeOp; ToRope: AC.ToRopeOp; Write: AC.WriteOp; ToExpr: AC.ToExprOp; FromINT: AC.FromINTOp; ToINT: PROC [int: Int] RETURNS [INT]; <> Zero: AC.NullaryOp; One: AC.NullaryOp; Add: AC.BinaryOp; Negate: AC.UnaryOp; Subtract: AC.BinaryOp; Multiply: AC.BinaryOp; Power: AC.BinaryOp; Remainder: AC.BinaryOp; Gcd: AC.BinaryOp; Paren: AC.UnaryOp; <> <> Equal: AC.BinaryPredicate; Sign: AC.CompareToZeroOp; <<>> Abs: AC.UnaryOp; Compare: AC.BinaryCompareOp; <<>> END.