Right.
Ada_File is defined as a private type; you'd need to add an operation
to package File_System to make this possible.
Actually, there are other ways in Ada to do this, but
we've not discussed them and they're all more complicated.
You may go to the next section.
You may also:
David A. Wheeler (dwheeler@ida.org)