The Ada standard library provides for I/O of traditional files of text or binary data, as well as I/O of streamed files. Files of binary data will be sequences of values of a type, while stream files can be sequences of values of possibly different types.
To read and write elements of different types from/to stream files, Ada uses subprograms denoted by types' attributes, namely
'Output. The latter two will read and write array bounds, record discriminants, and type tags, in addition to the bare input and output that
'Write will perform.