module LargeFile: sig
.. end
File operations on large files.
This sub-module provides 64-bit variants of the functions
Unix.lseek
(for positioning a file descriptor),
Unix.truncate
and
Unix.ftruncate
(for changing the size of a file),
and
Unix.stat
,
Unix.lstat
and
Unix.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 : Unix.file_descr -> int64 -> Unix.seek_command -> int64
val truncate : string -> int64 -> unit
val ftruncate : Unix.file_descr -> int64 -> unit
type
stats = {
|
st_dev : int ; |
|
st_ino : int ; |
|
st_kind : Unix.file_kind ; |
|
st_perm : Unix.file_perm ; |
|
st_nlink : int ; |
|
st_uid : int ; |
|
st_gid : int ; |
|
st_rdev : int ; |
|
st_size : int64 ; |
|
st_atime : float ; |
|
st_mtime : float ; |
|
st_ctime : float ; |
}
val stat : string -> stats
val lstat : string -> stats
val fstat : Unix.file_descr -> stats
The present documentation is copyright Institut National de Recherche en Informatique et en Automatique (INRIA). A complete version can be obtained from
this page.