| with Inline20_R; | |
| generic | |
| package Inline20_I is | |
| type Rec is null record; | |
| generic | |
| package Generic_IO is | |
| function Image (Quote : Rec) return String; | |
| package My_Nested_H is new Inline20_R.My_H.Nested_H (Rec, Image); | |
| function F return Integer renames My_Nested_H.F; | |
| end Generic_IO; | |
| end Inline20_I; |