1 with Ada
.Streams
, Ada
.Tags
;
3 type Root_Type
is tagged null record;
5 function Root_Type_Class_Input
6 (S
: not null access Ada
.Streams
.Root_Stream_Type
'Class)
7 return Root_Type
'Class;
9 for Root_Type
'Class'Input use Root_Type_Class_Input;