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