<> <> DIRECTORY Rope, Basics, IO, AlgebraClasses, BigRats; RatIntervals: CEDAR DEFINITIONS = BEGIN OPEN BR: BigRats; RatInterval: TYPE = AlgebraClasses.Object; RatIntervals: AlgebraClasses.Structure; <<***** Data Structure *****>> <<>> <> <> <> <<]; -- assumed that leftEndPoint <= rightEndPoint.>> <<>> <> <<>> <> <<>> <> <<>> <> <<>> END.