1package Corr_Discr is
2
3   type Base (T1 : Boolean := True; T2 : Boolean := False)
4     is null record;
5   for Base use record
6      T1 at 0 range 0 .. 0;
7      T2 at 0 range 1 .. 1;
8   end record;
9
10   type Deriv (D : Boolean := False) is new Base (T1 => True, T2 => D);
11
12end Corr_Discr;
13
14