package irmin-pack
Irmin backend which stores values in a pack file
Install
Dune Dependency
Authors
Maintainers
Sources
irmin-2.7.2.tbz
sha256=29c68c5001a727aaa7a6842d6204ffa3e24b3544fa4f6af2234cdbfa032f7fdf
sha512=87254dfe640619b678a95c211435c0deaaaac8bec50bba711757dd610c9fe6d9a80938399b7e2bb7bc813116eebc82bf3474b281d1afcd1031586f3d51579925
doc/irmin-pack.layered/Irmin_pack_layered/Maker/Private/Commit/Node/Path/index.html
Module Node.Path
Path
provides base functions on node paths.
Path
val empty : t
The empty path.
val is_empty : t -> bool
Check if the path is empty.
Deconstruct the first element of the path. Return None
if the path is empty.
Deconstruct the last element of the path. Return None
if the path is empty.
Value Types
val t : t Irmin__.Type.t
t
is the value type for t
.
val step_t : step Irmin__.Type.t
step_t
is the value type for step
.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page