3 with Discr18_Pkg; use Discr18_Pkg;
7 String_10 : String (1..10) := "1234567890";
9 MD : Multiple_Discriminants (A => 10, B => 10) :=
10 Multiple_Discriminants'(A => 10,
14 MDE : Multiple_Discriminant_Extension (C => 10) :=
15 (MD with C => 10, S3 => String_10);