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.9.0.tar.gz
    
    
        
    
  
  
  
    
  
  
    
  
        md5=ea26b5c72e6731e59d856626049cca4d
    
    
  sha512=55975b62c26f6db77433a3ac31f97af609fc6789bb62ac38b267249c78fd44ff37fe81901f1cf560857b9493a6046dd37b0d1c0234c66bd59e52843aac3ce6cb
    
    
  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)"
  >