package batteries
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
A community-maintained standard library extension
Install
dune-project
Dependency
Authors
Maintainers
Sources
v3.6.0.tar.gz
md5=1bcb27dfbd130eb057561196ef851649
sha512=2a56611b09a5f1cba6457539f8b6bc87a5f2a5454b36cdb39f6e0d6a5dac6db179aab1ba87c74dd49cc41df31a9a96feb349028ea41df7371ecb47f4d9dfafc4
doc/batteries.unthreaded/BatUnix/LargeFile/index.html
Module BatUnix.LargeFile
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 : file_descr -> int64 -> seek_command -> int64val ftruncate : file_descr -> int64 -> unittype stats = Unix.LargeFile.stats = {st_dev : int;(*Device number
*)st_ino : int;(*Inode number
*)st_kind : file_kind;(*Kind of the file
*)st_perm : 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 minor number
*)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 -> statsval lstat : string -> statsval fstat : file_descr -> stats sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>