![]()
|
Module UnixLabels.LargeFilemodule LargeFile:
This sub-module provides 64-bit variants of the functions
UnixLabels.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 : val truncate : val ftruncate : type stats =
|