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. šReals.mesa Last Edited by: Arnon, June 10, 1985 4:19:22 pm PDT Types and Variables Structure Operations Conversion and I/O Arithmetic Comparison ΚΓ˜Jšœ ™ J™3J˜šΟk ˜ Jšœ˜J˜Jšœ˜Jšœ˜—J˜Ihead2šœœ ˜Jšœœœœ˜!J˜headšΟn™Icodešœœœ˜M˜Mšœ œœœ˜J˜Jšžœœ Οcœ˜&—šž™šž œœ ˜J˜—šžœœ ˜J˜—šžœœ˜#J˜—Jšžœœ˜—šœ™šžœœ ˜J˜—šž œœ˜J˜—šžœœ ˜J˜—šžœœ˜$J˜—šžœœ˜J˜—šžœœ ˜J˜—šžœœ ˜J˜—šžœœ ˜J˜—šžœœœœ˜*M˜—Mšžœœ œœ˜(—šž ™ šžœœ ˜J˜—šžœœ ˜J˜—šžœœ ˜J˜—šžœœ ˜J˜—šžœœ ˜J˜—šžœœ ˜J˜—šžœœ ˜J˜—šžœœ ˜J˜—šžœœ ˜J˜——šœ ™ šžœœ˜J™—šžœœ ˜J˜—šžœœ˜J˜—Jšžœœ˜J˜—J™J˜Jšœ˜—…—Šη