<> <> <> <> <<>> DIRECTORY Lines2dTypes, Rope; GGCoreTypes: CEDAR DEFINITIONS = BEGIN EventListt: TYPE = REF EventListtObj; -- spelled with two t's to indicate a "List and a Tail pointer" EventListtObj: TYPE = RECORD [ list: LIST OF Event, tail: LIST OF Event ]; Event: TYPE = LIST OF REF ANY; RopeListt: TYPE = REF RopeListtObj; RopeListtObj: TYPE = RECORD [ list: LIST OF Rope.ROPE, tail: LIST OF Rope.ROPE ]; SequenceOfReal: TYPE = REF SequenceOfRealObj; SequenceOfRealObj: TYPE = RECORD [ reals: SEQUENCE len: NAT OF REAL]; BoundBox: TYPE = REF BoundBoxObj; BoundBoxObj: TYPE = RECORD [loX, loY, hiX, hiY: REAL, null, infinite: BOOL]; Edge: TYPE = Lines2dTypes.Edge; EdgeObj: TYPE = Lines2dTypes.EdgeObj; Line: TYPE = Lines2dTypes.Line; LineObj: TYPE = Lines2dTypes.LineObj; END.