blob: 9bfd0f05b3dac6b363924286f202657a897d4f0b [file] [log] [blame]
package Opt91_Pkg is
type Base_Relation is abstract tagged null record;
function Custom_Image (Self : Base_Relation) return String is abstract;
type Ty is private;
with function Custom_Image (Self : Ty) return String is <>;
package Pure_Relation is
type Rel is new Base_Relation with record
Rel : Ty;
end record;
overriding function Custom_Image (Self : Rel) return String;
end Pure_Relation;
end Opt91_Pkg;