package irmin-pack
Irmin backend which stores values in a pack file
Install
Dune Dependency
Authors
Maintainers
Sources
irmin-3.6.1.tbz
sha256=11fc2570bdbfd48478c89113fc801084a84a9a2c12d9bf8c64e05ce64ae19bd7
sha512=2171699ca24dec5c9c908a2676b272e034c14eb17f7052a794535e52af0be40be68a689e59c0a640ee244b11703320483f4d0c261542e6242ba23a8f1272b9b0
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)"
>