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