package forester
A tool for tending mathematical forests
Install
Dune Dependency
Authors
Maintainers
Sources
4.1.0.tar.gz
md5=576a2fe0666a6bd9fbbf9a567c0aee79
sha512=af7666a0bcd8fb20497a8c0a0bc01cb57db0bde07d68952e40d37464efe81c3a3c8207a5e5dc88264a5f67b5815874e88f3aa31972dd5f0413d44f97e11b758e
doc/forester.render/Forester_render/Render_dream/index.html
Module Forester_render.Render_dream
Source
Source
val normalise_prefix :
?loc:'a ->
prefix:String_map.key option ->
xmlns:String_map.key option ->
(((String_map.key * String_map.key) list * String_map.key option) -> 'b) ->
'b
Source
val render_located :
Forester_core.Sem.node Forester_core.Range.located ->
Dream_html_lite.node
Source
val render_transclusion :
opts:Forester_core.Sem.transclusion_opts ->
Forester_core.Sem.tree ->
Dream_html_lite.node
Source
val render_internal_link :
title:Forester_core.Sem.t option ->
modifier:Forester_core.Sem.modifier ->
addr:Forester_core__.Base.addr ->
dest:Forester_core.Sem.tree ->
Dream_html_lite.node
Source
val render_external_link :
title:Forester_core.Sem.t option ->
modifier:Forester_core.Sem.modifier ->
url:string ->
Dream_html_lite.node
Source
val render_authors :
contributors:Forester_core.addr list ->
authors:Forester_core.addr list ->
Dream_html_lite.node
Source
val render_frontmatter :
opts:Forester_core.Sem.transclusion_opts ->
Forester_core.Sem.frontmatter ->
Dream_html_lite.node
Source
val render_title :
opts:Forester_core.Sem.transclusion_opts ->
Forester_core.Sem.frontmatter ->
Dream_html_lite.node
Source
val render_tree :
?backmatter:bool ->
opts:Forester_core.Sem.transclusion_opts ->
Forester_core.Sem.tree ->
Dream_html_lite.node
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>