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
;