{stream} {stream
type} A stream is a sequence of
elements comprising values from possibly different types and allowing
sequential access to these values. A stream type is a type in
the class whose root type is Streams.Root_Stream_Type. A stream type
may be implemented in various ways, such as an external sequential file,
an internal buffer, or a network channel.
1.a
Discussion: A stream
element will often be the same size as a storage element, but that is
not required.