diff options
Diffstat (limited to 'stream.h')
-rw-r--r-- | stream.h | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -27,6 +27,11 @@ extern val std_input, std_output, std_debug, std_error; extern val output_produced; +extern val dev_k, ino_k, mode_k, nlink_k, uid_k; +extern val gid_k, rdev_k, size_k, blksize_k, blocks_k; +extern val atime_k, mtime_k, ctime_k; +extern val from_start_k, from_current_k, from_end_k; + extern val s_ifmt, s_iflnk, s_ifreg, s_ifblk, s_ifdir; extern val s_ifchr, s_ififo, s_isuid, s_isgid, s_isvtx, s_irwxu; extern val s_irusr, s_iwusr, s_ixusr, s_irwxg, s_irgrp, s_iwgrp; @@ -55,6 +60,7 @@ val put_line(val string, val stream); val put_char(val ch, val stream); val put_byte(val byte, val stream); val flush_stream(val stream); +val seek_stream(val stream, val offset, val whence); val statf(val path); val open_directory(val path); val open_file(val path, val mode_str); |