A stream file is a sequence of bytes, where individual elements are
written to the file as described in the Ada Reference Manual. The type
Stream_Element is simply a byte. There are two ways to read or
write a stream file.
- * The operations Read and Write directly read or write a
sequence of stream elements with no control information.
- * The stream attributes applied to a stream file transfer data in the
manner described for stream attributes.