1package Expr_Func2 is 2 3 type T_Index is range 1 .. 255; 4 5 type T_Table is array (T_Index range <>) of Boolean; 6 7 type T_Variable_Table (N : T_Index := T_Index'First) is record 8 Table : T_Table (1 .. N); 9 end record; 10 11 type T_A_Variable_Table is access T_Variable_Table; 12 13 function Element (A_Variable_Table : T_A_Variable_Table) return Boolean; 14 15private 16 17 function Element (A_Variable_Table : T_A_Variable_Table) return Boolean is 18 (A_Variable_Table.all.Table (1)); 19 20 procedure Foo; 21 22end Expr_Func2; 23