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.
Discussion: A stream element will often
be the same size as a storage element, but that is not required.
Extensions to Ada 83
Streams are new in Ada 95.
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe