module LargeFile: sig endUnixLabels.lseek (for positioning a file descriptor),
UnixLabels.truncate and UnixLabels.ftruncate
(for changing the size of a file),
and UnixLabels.stat, UnixLabels.lstat and UnixLabels.fstat
(for obtaining information on files). These alternate functions represent
positions and sizes by 64-bit integers (type int64) instead of
regular integers (type int), thus allowing operating on files
whose sizes are greater than max_int.val lseek : UnixLabels.file_descr -> int64 -> mode:UnixLabels.seek_command -> int64val truncate : string -> len:int64 -> unitval ftruncate : UnixLabels.file_descr -> len:int64 -> unittypestats =Unix.LargeFile.stats= {
|
st_dev : |
(* | Device number | *) |
|
st_ino : |
(* | Inode number | *) |
|
st_kind : |
(* | Kind of the file | *) |
|
st_perm : |
(* | Access rights | *) |
|
st_nlink : |
(* | Number of links | *) |
|
st_uid : |
(* | User id of the owner | *) |
|
st_gid : |
(* | Group ID of the file's group | *) |
|
st_rdev : |
(* | Device minor number | *) |
|
st_size : |
(* | Size in bytes | *) |
|
st_atime : |
(* | Last access time | *) |
|
st_mtime : |
(* | Last modification time | *) |
|
st_ctime : |
(* | Last status change time | *) |
val stat : string -> statsval lstat : string -> statsval fstat : UnixLabels.file_descr -> stats