<> <> <> <<>> <> DIRECTORY PETypes; PEConstructSpline: CEDAR DEFINITIONS = BEGIN Point: TYPE = PETypes.Point; LinkBetaSplineSegments: PROCEDURE [changedSegList: PETypes.SegmentList, segment: PETypes.SegmentNodeRec] RETURNS [newSegmentList: PETypes.SegmentList] ; <> <<>> BuildBetaSplineTrajectory: PROCEDURE [segmentList: PETypes.SegmentList] RETURNS [splineTrajectory: PETypes.Trajectory]; END.