package forester

You can search for identifiers within the package.

in-package search v0.2.0

A tool for tending mathematical forests

Install

md5=00fff94216aacd334351c2b1741d5246

sha512=724770d12a91674da76cc7842020ce7af2d37950d4429fe1ffac3b05d73a2079648f00c8eb33595e3dfa4874b2cd6b6a8c9d1f9034276a00b44d302091630cdb

val env : Eio_unix.Stdenv.base

val root : Core.addr option

val base_url : string option

val ignore_tex_cache : bool

val max_fibers : int