<> <> <> <> <<>> DIRECTORY GGBasicTypes, GGModelTypes; GGBuiltinShapes: CEDAR DEFINITIONS = BEGIN DefaultData: TYPE = GGModelTypes.DefaultData; Outline: TYPE = GGModelTypes.Outline; Point: TYPE = GGBasicTypes.Point; Slice: TYPE = GGModelTypes.Slice; PolygonInCircle: PROC [sideCount: NAT, origin: Point, radius: REAL, defaults: DefaultData] RETURNS [outline: Outline]; <> Circle: PROC [origin: Point, radius: REAL, defaults: DefaultData] RETURNS [slice: Slice]; Box: PROC [origin: Point, sideLength: REAL, defaults: DefaultData] RETURNS [slice: Slice]; KnotchedLine: PROC [p0, p1: Point, segmentCount: NAT] RETURNS [outline: Outline]; <> END.