1file 2==== 3 4.. include:: <isonum.txt> 5 6:mini:`type file` 7 8:mini:`fun file(Path: string, Mode: string)` |rarr| :mini:`file` 9 10:mini:`meth :read(File: file)` |rarr| :mini:`string` 11 12:mini:`meth :read(File: file, Length: integer)` |rarr| :mini:`string` 13 14:mini:`meth :write(File: file, String: string)` |rarr| :mini:`File` 15 16:mini:`meth :write(File: file, Buffer: stringbuffer)` |rarr| :mini:`File` 17 18:mini:`meth :eof(File: file)` |rarr| :mini:`File` or :mini:`nil` 19 20:mini:`meth :close(File: file)` |rarr| :mini:`nil` 21 22:mini:`fun file::rename(Old: string, New: string)` |rarr| :mini:`nil` 23 24:mini:`fun file::unlink(Path: string)` 25 26:mini:`type dir < iteratable` 27 28:mini:`fun dir(Path: string)` |rarr| :mini:`dir` 29 30:mini:`meth :read(Dir: dir)` |rarr| :mini:`string` 31 32