DIRECTORY Rope, Basics, IO, AlgebraClasses, Points; Ints: CEDAR DEFINITIONS = BEGIN OPEN AC: AlgebraClasses, PTS: Points; ROPE: TYPE = Rope.ROPE; Int: TYPE = REF IntRep; IntRep: TYPE = RECORD [ val: INT ]; IntPoint: TYPE = PTS.Point; Ints: AC.Structure; Read: PROC [in: IO.STREAM] RETURNS [out: Int]; FromRope: PROC [in: Rope.ROPE] RETURNS [out: Int]; ToRope: PROC [in: Int] RETURNS [out: Rope.ROPE]; Write: PROC [stream: IO.STREAM, in: Int]; FromINT: PROC [int: INT] RETURNS [Int]; ToINT: PROC [int: Int] RETURNS [INT]; Add: PROC [firstArg, secondArg: Int] RETURNS [result: Int]; Negate: PROC [arg: Int] RETURNS [result: Int]; Subtract: PROC [firstArg, secondArg: Int] RETURNS [result: Int]; Multiply: PROC [firstArg, secondArg: Int] RETURNS [result: Int]; Remainder: PROC [firstArg, secondArg: Int] RETURNS [result: Int]; Gcd: PROC [m, n: Int] RETURNS [gcd: Int]; Sign: PROC [arg: Int] RETURNS [Basics.Comparison]; Abs: PROC [arg: Int] RETURNS [result: Int]; Compare: PROC [firstArg, secondArg: Int] RETURNS [Basics.Comparison]; Equal: PROC [firstArg, secondArg: Int] RETURNS [BOOL]; END. „Ints.mesa Last Edited by: Arnon, June 10, 1985 4:19:22 pm PDT Types and Variables I/O and Conversion Arithmetic Comparison Κ„˜Jšœ ™ J™3J˜šΟk ˜ Jšœ˜J˜Jšœ˜Jšœ˜Jšœ˜—J˜Ihead2šœœ ˜Jš œœœœœ ˜.J˜headšΟn™codešœœœ˜M˜—Mšœœœ˜šœœœ˜Mšœ˜Mšœ˜—Jšœ œœ˜J˜Jšœœ ˜—šœ™š žœœœœœ ˜.J˜—šžœœ œœ ˜2J˜—šžœœ œ œ˜0J˜—Jšžœœ œœ ˜*J˜Mšžœœœœ˜'M˜Mšžœœ œœ˜%—šž ™ šžœœœ˜;J˜—šžœœ œ˜.J˜—šžœœœ˜@J˜—šžœœœ˜@J˜—šž œœœ˜AJ˜—šžœœ œ ˜)J˜——šœ ™ šžœœ œ˜2J™—šžœœ œ˜+J˜—šžœœœ˜EJ˜—Jšžœœœœ˜6J˜—J™J˜Jšœ˜—…—Zb