-- Child package for Squares
package Geometry.Squares is
    type Square is new Shape with  record
        edge: Float;
    end record;

    function area(s: Square) return float;  -- Overrides
end Geometry.Squares;