5 type Arr_Int_T is array (Integer range <>) of Integer;
7 type Abs_Tag_Rec_T (N : Integer; M : Integer) is abstract tagged record
8 Arr_Int : Arr_Int_T (1..M);
11 type Tag_Rec_T (M : Integer)
12 is new Abs_Tag_Rec_T (N => 1, M => M) with null record;