Module Bigstring_unix

with_map_file name f maps the file into memory, opening it, and call f with a slice pos.... pos+len of the bytes of the file where len is the length of the file if not provided. When f returns, the file is closed.

• Parameter pos: offset in the file (default 0)
• Parameter shared: if true, modifications are shared between processes that have mapped this file (requires the filedescr to be open in write mode).
• Parameter mode: the mode for the file, if it's created
• Parameter flags: opening flags (default rdonly) see Bigarray.Array1.map_file for more details

map_file_descr descr len is a lower-level access to an underlying file descriptor.

• Parameter shared: if true, modifications are shared between processes that have mapped this file (requires the filedescr to be open in write mode). see Bigarray.Array1.map_file for more details