13.13 Streams

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

• 13.13.1: The Package Streams
• 13.13.2: Stream-Oriented Attributes

Go to the first, previous, next, last section, table of contents.