{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.