3 type Base_Relation
is abstract tagged null record;
5 function Custom_Image
(Self
: Base_Relation
) return String is abstract;
9 with function Custom_Image
(Self
: Ty
) return String is <>;
10 package Pure_Relation
is
12 type Rel
is new Base_Relation
with record
16 overriding
function Custom_Image
(Self
: Rel
) return String;