package irmin-pack
Irmin backend which stores values in a pack file
Install
Dune Dependency
Authors
Maintainers
Sources
irmin-3.5.2.tbz
sha256=2a1e6a7577e498fbfeb678d666da210dc48d1344637e8ecb653e1dd88c640b5f
sha512=3fb6f49a1af2f8bab1df5b6f5affaaa09f09fe892a08eb2d9de58138e56646d4a6797f3c087b22875e36e3411218ab2435fe5437ac78f323dd661932af021fad
doc/irmin-pack.unix/Irmin_pack_unix/File_manager/index.html
Module Irmin_pack_unix.File_manager
Source
Abstraction that governs the lifetime of the various files that are part of a pack store (except the branch store).
Source
module Make
(Io : Io.S)
(Index : sig ... end)
(Mapping_file : Mapping_file.S with module Io = Io)
(Errs : Io_errors.S with module Io = Io) :
S
with module Io = Io
and module Index = Index
and module Mapping_file = Mapping_file
and module Errs = Errs
Abstraction that governs the lifetime of the various files that are part of a pack store (except the branch store).
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>