<<>> <> <> <> <> <<>> DIRECTORY GGBasicTypes, GGSegmentTypes, GGModelTypes; GGTrajTypes: CEDAR DEFINITIONS = BEGIN Point: TYPE = GGBasicTypes.Point; Segment: TYPE = GGSegmentTypes.Segment; Slice: TYPE = GGModelTypes.Slice; SliceDescriptor: TYPE = GGModelTypes.SliceDescriptor; MakeCurveProc: TYPE = PROC [lo, hi: Point, props: LIST OF REF] RETURNS [seg: Segment]; RunProc: TYPE = PROC [run: SliceDescriptor] RETURNS [traj: Slice]; END.