-- Child package for Circles
package Geometry.Circles is
    type Circle is new Shape with  record
        radius: Float;
    end record;

    function area(c: Circle) return float;  -- Overrides
end Geometry.Circles;