| with Ada.Streams; | |
| generic | |
| package Inline20_G is | |
| subtype Offset_Type is Ada.Streams.Stream_Element_Offset; | |
| generic | |
| type T is private; | |
| package Nested_G is | |
| procedure Get (Data : T; Into : out Offset_Type); | |
| function F return Integer with Inline; | |
| end Nested_G; | |
| end Inline20_G; |