package forester
A tool for tending mathematical forests
Install
Dune Dependency
Authors
Maintainers
Sources
3.1.0.tar.gz
md5=3512b493a31b0d1073ba4e48e8058493
sha512=b6e5ad2f86132d1874cb943546375e2f1b987a0c65628d71f17827f1ff7435df476c86fb135b34b3ff302f99ea54a21b90730257e12aa41cce170fae57c422b0
doc/forester.core/Core/Sem/index.html
Module Core.Sem
Source
Source
type node =
| Text of string
| Transclude of transclusion_opts * string
| Subtree of transclusion_opts * tree
| Query of transclusion_opts * t Query.t
| Link of {
dest : string;
title : t option;
modifier : [ `Sentence_case ] option;
}
| Xml_tag of string * (string * t) list * t
| Unresolved of string
| Math of Core__.Base.math_mode * t
| Embed_tex of {
}
| Img of {
}
| If_tex of t * t
| Prim of Prim.t * t
| Object of Core__.Symbol.t
| Ref of {
}
Source
and frontmatter = {
title : t option;
taxon : string option;
contributors : string list;
dates : Prelude.Date.t list;
addr : string option;
metas : (string * t) list;
parent : string option;
source_path : string option;
number : string option;
}
Source
val pp_transclusion_opts :
Ppx_deriving_runtime.Format.formatter ->
transclusion_opts ->
Ppx_deriving_runtime.unit
Source
val pp_frontmatter :
Ppx_deriving_runtime.Format.formatter ->
frontmatter ->
Ppx_deriving_runtime.unit
Source
val apply_modifier :
[< `Sentence_case ] option ->
node Range.located list ->
node Range.located list
Best-effort rendering of a nodes as a string, to use in text-only contexts.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>