package b0
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page
Software construction and deployment kit
Install
dune-project
Dependency
Authors
Maintainers
Sources
b0-0.0.6.tbz
sha512=e9aa779e66c08fc763019f16d4706f465d16c05d6400b58fbd0313317ef33ddea51952e2b058db28e65f7ddb7012f328c8bf02d8f1da17bb543348541a2587f0
doc/b0.kit/B0_odoc/Compile/Dep/index.html
Module Compile.Dep
Source
Compilation dependencies, for compiling .cmi
, .cmti
or .cmt
files to .odoc
files.
As determined by the odoc compile-deps
command. These dependencies need to be resolved to concrete .odoc
files by some external mean.
Dependencies
The type for odoc compilation dependencies.
pp
formats a dependency.
write m cobj o
writes the odoc dependencies of the compilation object cobj
to o
.
read m file
reads the result of a write
from file
and continues with the dependencies.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page