3 subtype Length
is Natural range 0..256;
5 type Multiple_Discriminants
(A
, B
: Length
) is tagged
11 procedure Do_Something
(Rec
: in out Multiple_Discriminants
);
13 type Multiple_Discriminant_Extension
(C
: Length
) is
14 new Multiple_Discriminants
(A
=> C
, B
=> C
)