1 package body Discr25_Pkg is
3 type Arr1 is array (Natural range <>) of Integer;
5 B : constant Boolean := N > 0;
7 type Arr2 is array (True .. B) of Integer;
9 type Obj_T (Size_Max : Natural) is record
11 A1 : Arr1 (0 .. Size_Max);
14 procedure Proc1 (Set : in out T) is
16 Set := new Obj_T'(Set.all);
19 procedure Proc2 (Obj : in out T; L : Natural) is