1 with Ada
.Streams
; use Ada
.Streams
;
6 procedure Read
(X
: access Root_Stream_Type
'Class; V
: out Ptr
) is null;
7 procedure Write
(X
: access Root_Stream_Type
'Class; V
: Ptr
) is null;
9 for Ptr
'Write use Write
;
11 procedure P
(S
: access Root_Stream_Type
'Class);
13 type Ptr
is not null access all Integer;