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; |