blob: 83ecb493ef4ff243071cd652495b94c64c56a6b5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
package Opt34_Pkg is
type T_Private is record
I : Integer := 0;
end record;
T_Private_Zero : constant T_Private := (I => 0);
function Get_Private (I : Integer) return T_Private;
function Get_Integer (X : T_Private) return Integer;
procedure Assert (Cond : Boolean);
end Opt34_Pkg;
|
