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/Html/Writes/index.html
Module Html.WritesSource
HTML generation writes, files written by generating HTML files from an .odoc file.
As determined by the odoc html-targets command.
HTML generation file writes
Source
val write :
B0_memo.t ->
odoc_deps:B0_std.Fpath.t list ->
B0_std.Fpath.t ->
to_dir:B0_std.Fpath.t ->
o:B0_std.Fpath.t ->
unitwrite m ~odoc_deps odoc ~to_dir ~o writes to o the files written by an HTML generation of the .odoc file odoc to to_dir.
odoc_depsare the.odocfile dependencies for theodocfile, they can be obtained by resolving the result ofDepon the package odoc directory ofodoc.
read m file reads the result of a Writes.write from file and continues with the files that will be written.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page