package forester
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
A tool for tending mathematical forests
Install
dune-project
Dependency
Authors
Maintainers
Sources
4.1.0.tar.gz
md5=576a2fe0666a6bd9fbbf9a567c0aee79
sha512=af7666a0bcd8fb20497a8c0a0bc01cb57db0bde07d68952e40d37464efe81c3a3c8207a5e5dc88264a5f67b5815874e88f3aa31972dd5f0413d44f97e11b758e
doc/forester.frontend/Forester_frontend/Forest/index.html
Module Forester_frontend.ForestSource
Source
type config = {env : Eio_unix.Stdenv.base;assets_dirs : Eio.Fs.dir_ty Eio.Path.t list;theme_dir : Eio.Fs.dir_ty Eio.Path.t;root : string option;base_url : string option;stylesheet : string;ignore_tex_cache : bool;no_assets : bool;no_theme : bool;max_fibers : int;
}Source
type forest = {trees : Forester_core.Sem.tree Analysis.Map.t;analysis : Analysis.analysis Lazy.t;
}Source
val render_trees :
cfg:config ->
forest:forest ->
render_only:Forester_core.addr list option ->
unitSource
val render_json :
cwd:[> Eio__.Fs.dir_ty ] Eio.Path.t ->
Forester_core.Sem.tree Analysis.Map.t ->
unit sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>