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/Lower/Make_volume/index.html
Module Lower.Make_volume
Source
Parameters
module Errs : Io_errors.S with module Io = Io
Signature
module Io = Io
module Errs = Errs
Source
type open_error = [
| Io.open_error
| `Closed
| `Double_close
| `Corrupted_control_file of string
| `Unknown_major_pack_version of string
]
v path
loads the volume at path
in read-only.
control t
returns the control file payload for the volume.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page