package forester
A tool for tending mathematical forests
Install
dune-project
Dependency
Authors
Maintainers
Sources
3.0.0.tar.gz
md5=cefb2772a2562267fc46aab3e7b1fb82
sha512=e890a08344dff37e893d36e196452df1a9b560fe2a0abd23988ec4f3c8df9b9757d1c976dec5d95b9b5ab61c125928f5017e458802cfe93f728de4b2711b893b
doc/forester.core/Core/Sem/index.html
Module Core.Sem
Source
Source
type node =
| Text of string
| Transclude of transclusion_opts * string
| 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 {
packages : string list;
source : t;
}
| Img of {
}
| Block of t * t
| If_tex of t * t
| Prim of Prim.t * t
| Object of Core__.Symbol.t
Source
val pp_transclusion_opts :
Ppx_deriving_runtime.Format.formatter ->
transclusion_opts ->
Ppx_deriving_runtime.unit
Source
val apply_modifier :
[< `Sentence_case ] option ->
node Range.located list ->
node Range.located list
Source
type tree = {
title : t option;
taxon : string option;
dates : Prelude.Date.t list;
addr : string option;
metas : (string * t) list;
body : t;
source_path : string option;
}
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)"
>