blob: 6bcb1251f2bc97f299f22119081c77ac1b92cfc8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
package Root.Level_1 is
type Level_1_Type (First : Natural;
Second : Natural) is new Root_Type with private;
private
type Level_1_Type (First : Natural;
Second : Natural) is new Root_Type (First => First)
with record
Buffer_1 : Buffer_Type (1 .. Second);
end record;
end Root.Level_1;
|