Module Unix.LargeFile

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

See Unix.lseek.

val truncate : string -> int64 -> unit

See Unix.truncate.

val ftruncate : Unix.file_descr -> int64 -> unit

See Unix.ftruncate.

type stats = {
   st_dev : int; (*

Device number

*)
   st_ino : int; (*

Inode number

*)
   st_kind : Unix.file_kind; (*

Kind of the file

*)
   st_perm : Unix.file_perm; (*

Access rights

*)
   st_nlink : int; (*

Number of links

*)
   st_uid : int; (*

User id of the owner

*)
   st_gid : int; (*

Group ID of the file's group

*)
   st_rdev : int; (*

Device ID (if special file)

*)
   st_size : int64; (*

Size in bytes

*)
   st_atime : float; (*

Last access time

*)
   st_mtime : float; (*

Last modification time

*)
   st_ctime : float; (*

Last status change time

*)
} 
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.