3 type Enum is (One, Two, Three);
5 type R (D : Enum) is record
7 when One => B : Boolean;
8 when Two => I : Integer;
9 when Three => F : Float;
16 I at 4 range 0 .. 31 + 128;
17 -- F at 4 range 0 .. 31;
20 subtype R1 is R (One);
21 subtype R2 is R (Two);
22 subtype R3 is R (Three);