package forester
A tool for tending mathematical forests
Install
Dune Dependency
Authors
Maintainers
Sources
5.0.tar.gz
md5=24f4aed96a8b8af33aba13fba66f1b37
sha512=d36b896aca11858bb4a00fc704c16cc27a1f197bdb3e479d6132fd70f70d67d7158096285cb0b6fb00db14417f0f822cc27fe65d82f0971e42378fd8271ce573
doc/forester.compiler/Forester_compiler/Eval/index.html
Module Forester_compiler.EvalSource
Transform Syn.trees into articles.
module T := Forester_core.TypesSource
type result = {articles : T.content T.article list;jobs : Job.job Forester_core.Range.located list;
}Source
val eval_tree :
config:Forester_core.Config.t ->
uri:Forester_core.URI.t ->
source_path:string option ->
Forester_core.Syn.t ->
result * Forester_core.Reporter.diagnostic list