<> <> DIRECTORY Rope, Basics, IO, AlgebraClasses; Reals: CEDAR DEFINITIONS = BEGIN OPEN AC: AlgebraClasses; <> Real: TYPE = AC.Object; RealData: TYPE = REF REAL; Reals: AC.Object; -- public structure; <> PrintName: AC.ToRopeOp; ShortPrintName: AC.ToRopeOp; Characteristic: AC.StructureRankOp; IsReals: AC.UnaryPredicate; <> Recast: AC.BinaryOp; CanRecast: AC.BinaryPredicate; ToExpr: AC.ToExprOp; LegalFirstChar: AC.LegalFirstCharOp; Read: AC.ReadOp; FromRope: AC.FromRopeOp; ToRope: AC.ToRopeOp; Write: AC.WriteOp; FromREAL: PROC [int: REAL] RETURNS [Real]; ToREAL: PROC [int: Real] RETURNS [REAL]; <> Zero: AC.NullaryOp; One: AC.NullaryOp; Add: AC.BinaryOp; Negate: AC.UnaryOp; Subtract: AC.BinaryOp; Multiply: AC.BinaryOp; Power: AC.BinaryOp; Invert: AC.UnaryOp; Divide: AC.BinaryOp; <> Sign: AC.CompareToZeroOp; <<>> Abs: AC.UnaryOp; Compare: AC.BinaryCompareOp; Equal: AC.BinaryPredicate; <<>> END.