13.13 Потоки

Поток — это последовательность элементов, содержащих значения, возможно, разных типов, и позволяющая последовательно обращаться к этим значениям. Тип потока — это тип в классе, корневым типом которого является Streams.Root_Stream_Type. Тип потока может быть реализован различными способами, такими как внешний последовательный файл, внутренний буфер или сетевой канал.