Definition
The data type file_istream is equivalent to the ifstream type of C++.
#include < LEDA/system/stream.h >