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