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