-- 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;