1package Nested_Float_Packed is
2
3   type Float_Type is record
4      Value : Float;
5      Valid : Boolean;
6   end record;
7
8   type Data_Type is record
9      Data : Float_Type;
10   end record;
11
12   Default_Data : constant Data_Type :=
13     (Data => (Value => 1.0, Valid => False));
14
15   type Range_Type is (RV1, RV2, RV3);
16   for Range_Type use (1, 2, 3);
17
18   Data_Block : array (Range_Type)
19     of Data_Type := (others => Default_Data);
20end;
21