package forester
A tool for tending mathematical forests
Install
dune-project
Dependency
Authors
Maintainers
Sources
4.0.1.tar.gz
md5=1781b3d67f7ff4edaeb5cfdedba46b9e
sha512=879a583fd3ddf1cf44039fbe9a1d7280e9cc9cc0340506561dc8c6bb6b792db7c512a682d4d09d6c6b0b3b14940665573c9d94580c9ce0a87ee05822fbe4c229
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 Core__.Base.xml_resolved_qname * (Core__.Base.xml_resolved_qname * 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;
physical_parent : string option;
designated_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)"
>