<> <> DIRECTORY Rope, Basics, IO, AlgebraClasses; Reals: CEDAR DEFINITIONS = BEGIN OPEN AC: AlgebraClasses; <> Real: TYPE = AC.Object; RealData: TYPE = REF REAL; Reals: AC.Structure; <> Read: AC.ReadOp; FromRope: AC.FromRopeOp; ToRope: AC.ToRopeOp; Write: AC.WriteOp; FromREAL: PROC [int: REAL] RETURNS [Real]; ToREAL: PROC [int: Real] RETURNS [REAL]; <> Add: AC.BinaryOp; Negate: AC.UnaryOp; Subtract: AC.BinaryOp; Multiply: AC.BinaryOp; Invert: AC.UnaryOp; Divide: AC.BinaryOp; <> Sign: AC.CompareToZeroOp; <<>> Abs: AC.UnaryOp; Compare: AC.BinaryCompareOp; Equal: AC.EqualityOp; <<>> END.