package irmin-pack
Irmin backend which stores values in a pack file
Install
Dune Dependency
Authors
Maintainers
Sources
irmin-2.10.2.tbz
sha256=088741b619471c8198e74aaf9f4aeb4a9997abec8b9abcbfb3443fd27bfb433f
sha512=bbc03417d6eb87d99bee391c489d23a586b0a260e4c797f5e2465c3ab67cb627a9efa526097c1b89dd3339eafb8bad738c1cf0502e5c70355871ff7dbba324b9
doc/irmin-pack.layered/Irmin_pack_layered/Checks/Make/Stat/index.html
Module Make.Stat
Source
Source
type files_layer = {
flip : [ `Upper1 | `Upper0 ] option;
lower : Layer_stat.files;
upper1 : Layer_stat.files;
upper0 : Layer_stat.files;
}
Source
type objects_layer = {
lower : Layer_stat.objects;
upper1 : Layer_stat.objects;
upper0 : Layer_stat.objects;
}
Source
type t = {
hash_size : Layer_stat.size;
log_size : int;
files : files_layer;
objects : objects_layer;
}
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>