package forester
A tool for tending mathematical forests
Install
Dune Dependency
Authors
Maintainers
Sources
4.0.0.tar.gz
md5=e6fc311885219d11faae87be4918566d
sha512=9e262f964d36404228f3f82eab803be126be247507c774ce417ce2ef652a8a0220da3e6446f971725a8080ba98c9679fd77e87956155af19c21b2925b2195e90
doc/forester.render/Render/Render_dream/index.html
Module 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_internal_link :
title:Core.Sem.t option ->
modifier:[ `Sentence_case ] option ->
addr:Core.addr ->
dest:Core.Sem.tree ->
Dream_html.node
Source
val render_external_link :
title:Core.Sem.t option ->
modifier:[ `Sentence_case ] option ->
url:string ->
Dream_html.node
Source
val render_frontmatter :
opts:Core.Sem.transclusion_opts ->
Core.Sem.frontmatter ->
Dream_html.node
Source
val render_tree :
?backmatter:bool ->
opts:Core.Sem.transclusion_opts ->
Core.Sem.tree ->
Dream_html.node
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>