5 type Name is new String (1..Size);
11 type Danger is (This, That);
12 type def (X : Danger := This) is record
14 when This => It : Rec;
19 type Switch is (On, Off);
20 type Wrapper (Disc : Switch := On) is private;
21 function Get (X : Wrapper) return Def;
24 type Wrapper (Disc : Switch := On) is record