package irmin-git
Git backend for Irmin
Install
Dune Dependency
Authors
Maintainers
Sources
irmin-3.11.0.tbz
sha256=09996fbcc2c43e117a9bd8e9028c635e81cccb264d5e02d425ab8b06bbacdbdb
sha512=0391a6bf7b94a1edd50a3a8df9e58961739fa78d7d689d61f56bc87144483bad2ee539df595c33d9d52c29b3458da5dddf3a73b5eb85e49c4667c26d2cd46be1
doc/irmin-git.unix/Irmin_git_unix/Mem/Make/argument-1-Schema/Path/index.html
Module Schema.Path
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