package irmin-pack
Irmin backend which stores values in a pack file
Install
Dune Dependency
Authors
Maintainers
Sources
irmin-3.7.2.tbz
sha256=6aa5ba4c6a0233747d4bd3ab396f2b3a33bb80f9d8ed4a178c83a035033c0e52
sha512=8a5506a57e8569a11c883ca25b3c60ae7a9a03c2da111668193d7b4296434c43f1a310e78f189e4b38c234da790259d2961c6a0ae481282c18bb97f618fccfb6
doc/irmin-pack.unix/Irmin_pack_unix/Control_file/Payload/Volume/V5/index.html
Module Volume.V5Source
Source
type t = {start_offset : Optint.Int63.t;end_offset : Optint.Int63.t;mapping_end_poff : Optint.Int63.t;checksum : Optint.Int63.t;
}The payload for a control file of a volume.
Fields
start_offsetis the global offset for the start of the volume's data. Used for routing reads.end_offsetis the global offset for the end of the volume's data. Used for routing reads.mapping_end_poffis the end offset for the mapping file. Used when writing.