1package Discr9 is 2 3 type IArr is Array (Natural range <>) of Integer; 4 type CArr is Array (Natural range <>) of Character; 5 6 type Var_R (D1 : Boolean; D2 : Boolean) is record 7 case D1 is 8 when True => 9 L : IArr (1..4); 10 M1, M2 : CArr (1..16); 11 when False => 12 null; 13 end case; 14 end record; 15 16 type R (D1 : Boolean; D2 : Boolean) is record 17 Field : Var_R (D1, D2); 18 end record; 19 20 procedure Proc (From : in R; To : out R); 21 22end Discr9; 23