package irmin-pack
Irmin backend which stores values in a pack file
Install
Dune Dependency
Authors
Maintainers
Sources
irmin-3.5.1.tbz
sha256=cd788a8d3f4a3dd18dc160a153d4aec91eaf6b0fb41ad41464d26c79c304a98e
sha512=4f97862678d35e0b4aa814a1df51d6f8c59bcf5b611c73f0a475f9b5386ca42a4a18e65ce80fc425ddad93fcdacfcb563c52f6423777610a0bc567902f4db088
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)"
>