3 procedure Outer_Agg_Bitfield_Constructor
is
5 type Mod_64
is mod 2 ** 64;
6 for Mod_64
'Size use 64;
8 type Uint_16
is range 0 .. 2 ** 16 - 1;
9 for Uint_16
'Size use 16;
11 type Values_Type
is record
16 for Values_Type
use record
17 M64
at 0 range 0 .. 63;
18 U16
at 8 range 0 .. 15;
21 type Wrapper_Type
is record
25 for Wrapper_Type
use record
26 Values
at 0 range 0 .. 79;
32 W
: Wrapper_Type
:= (Values
=> (M
, U
));
34 procedure Check
(O
: Wrapper_Type
) is
36 if O
.Values
.M64
/= M
or else O
.Values
.U16
/= U
then