3 type Element_Type is private;
8 (Container : in out List;
9 New_Item : in Element_Type);
12 type List_Record is record
15 type List is access List_Record;
17 (S : access Root_Stream_Type'Class;
19 for List'Read use Read;
21 (S : access Root_Stream_Type'Class;
23 for List'Write use Write;