DIRECTORY Rope, Basics, IO, AlgebraClasses, BigRats; RatIntervals: CEDAR DEFINITIONS = BEGIN OPEN BR: BigRats; RatInterval: TYPE = REF RatIntervalRec; RatIntervalRec: TYPE = RECORD [ leftEndPoint, rightEndPoint: BR.BigRat ]; -- assumed that leftEndPoint <= rightEndPoint. ReadRatInterval: PROC [in: IO.STREAM] RETURNS [out: RatInterval]; RatIntervalFromRope: PROC [in: Rope.ROPE] RETURNS [out: RatInterval]; RatIntervalToRope: PROC [in: RatInterval, showDenomOne: BOOL _ FALSE] RETURNS [Rope.ROPE]; WriteRatInterval: PROC [in: RatInterval, out: IO.STREAM, showDenomOne: BOOL _ FALSE]; END. jRatIntervals.mesa Last Edited by: Arnon, June 10, 1985 4:19:22 pm PDT ***** Data Structure ***** ΚN˜Jšœ™J™3J˜šΟk ˜ Jšœ˜J˜Jšœ˜J˜Jšœ˜—J˜Ihead2šœœ ˜Jšœœœœ ˜J˜JšΟc™Icode™Jšœ œœ˜'šœœœ˜Jšœœ˜&Jšœž.˜1—˜J™—š Οnœœœœœ˜AJ˜—šŸœœ œœ˜EJ˜—š Ÿœœ!œœœœ˜ZJ˜—š Ÿœœœœœœ˜UJ˜—˜J˜—J˜Jšœ˜—…—\