package forester
A tool for tending mathematical forests
Install
Dune Dependency
Authors
Maintainers
Sources
2.2.1.tar.gz
md5=6f013c1c3c492725dfc153c79038b6d7
sha512=2d6eeb865a8939ff5ef9031e969a41c81480cf5ef814f83a68d98aebe84c67657587231d8ef0ae820becbe429064de70772ed5b7db60828dc5657f250df7fdfc
doc/src/forester.core/Base.ml.html
Source file Base.ml
1 2 3 4 5 6 7 8 9 10 11 12 13 14type addr = string [@@deriving show] type delim = Braces | Squares | Parens [@@deriving show] type math_mode = Inline | Display [@@deriving show] type transclusion_mode = Full | Collapsed | Spliced [@@deriving show] type visibility = Private | Public [@@deriving show]