1with Discr49_Rec1; use Discr49_Rec1;
2
3package Discr49_Rec2 is
4   type Child (Discr : Boolean) is private;
5   function Value (Obj : Child) return Integer;
6
7private
8   type Child (Discr : Boolean) is
9     new Parent (Discr_1 => Discr, Discr_2 => True);
10end Discr49_Rec2;
11