Next / Previous / Contents / Shipman's homepage

20.13. file(): Open a file

This function is identical to the open() function; for details, see Section 17, “Type file: Input and output files”.