package body circle_types is

begin
end circle_types;

with point_types;
use point_types
package circle_types is

type Circle is tagged record 
  -- Attributes
  -- private:
    origin: Point;
    radius: double;
end record;

-- Operations
end circle_types;

package body point_types is

begin
end point_types;

package point_types is

type Point is tagged record 
  -- Attributes
  -- private:
    x: double;
    y: double;
end record;

-- Operations
end point_types;

package body polygon_types is

begin
end polygon_types;

with segment_types;
use segment_types
package polygon_types is

type Polygon is tagged record 
  -- Attributes
end record;

-- Operations
end polygon_types;

package body segment_types is

begin
end segment_types;

with point_types;
use point_types
package segment_types is

type Segment is tagged record 
  -- Attributes
end record;

-- Operations
end segment_types;