<> <> <> <> <> <> <> <> <> <<-1 for the others; if, on reaching infinity, the count is non-zero then the given>> <> <> <> <> DIRECTORY CGReducer; PolygonDefs: CEDAR DEFINITIONS = BEGIN PolygonDescriptor: TYPE = CGReducer.Ref; PolyCreate: PROCEDURE RETURNS [polygon: PolygonDescriptor]; <> PolyVertex: PROCEDURE [polygon: PolygonDescriptor, x, y: REAL]; <> PolyGenerate: PROCEDURE [ polygon: PolygonDescriptor, outputTrapezoid: PROCEDURE [REAL, REAL, REAL, REAL, REAL, REAL]]; <> <> <> <> PolyDestroy: PROCEDURE [polygon: PolygonDescriptor]; <> END.