1package Discr36 is 2 3 type R (D : Boolean := True) is record 4 case D is 5 when True => I : Integer; 6 when False => null; 7 end case; 8 end record; 9 10 function N return Natural; 11 12end Discr36; 13