function END_OF_FILE(FILE : in FILE_TYPE) return BOOLEAN;

    Operates on a file of mode IN_FILE or INOUT_FILE. Returns TRUE if
    there are no more elements (according to the most recent key and
    relation information) starting at the next element in the file;
    otherwise returns FALSE.

    The exception MODE_ERROR is raised if the current mode is OUT_
    FILE.