1package Return2 is
2
3  type Kind_T is (One, Two);
4
5  type T is array (Kind_T) of Boolean;
6
7  type Result_Internal_T (Member : Boolean := False) is record
8    case Member is
9      when True =>
10        Data : Kind_T := Kind_T'First;
11      when False =>
12        null;
13    end case;
14  end record;
15
16  function Value (Img : String) return T;
17
18end Return2;
19