2 procedure Placeholder
is
3 subtype Bounded
is Integer range 1 .. 5;
4 type Vector
is array (Bounded
range <>) of Integer;
5 type Interval
(Length
: Bounded
:= 1) is record
6 Points
: Vector
(1 .. Length
);
8 An_Interval
: Interval
:= (Length
=> 1, Points
=> (1 => 1));
9 generic The_Interval
: Interval
; package R
is end;
10 package body R
is end;
11 package S
is new R
(An_Interval
);