1 with Ada.Streams; use Ada.Streams;
3 type T is abstract tagged limited null record;
4 function Input (Stream : not null access Root_Stream_Type'Class) return T
7 function New_T (Stream : not null access Root_Stream_Type'Class)
10 type IT is limited new T with record
13 function Input (Stream : not null access Root_Stream_Type'Class) return IT;
15 type FT is limited new T with record
18 function Input (Stream : not null access Root_Stream_Type'Class) return FT;