package forester

You can search for identifiers within the package.

in-package search v0.2.0

A tool for tending mathematical forests

Install

Dune Dependency

sr.ht Readme Edit opam file Versions (17)

Authors

J

Jonathan Sterling

Maintainers

J

Jonathan Sterling

Sources

5.0.tar.gz

md5=24f4aed96a8b8af33aba13fba66f1b37

sha512=d36b896aca11858bb4a00fc704c16cc27a1f197bdb3e479d6132fd70f70d67d7158096285cb0b6fb00db14417f0f822cc27fe65d82f0971e42378fd8271ce573

doc/forester.compiler/Forester_compiler/Expand/index.html

Module `Forester_compiler.Expand`Source

Transform Code.trees into Syn.trees by folding over the import graph.

Sourcemodule Unit_map = Forester_core.URI.Map

Source

val initial_visible_trie : 
  (Forester_core.Syn.resolver_data, Forester_core.Range.t option)
    Forester_core.Trie.t

Sourcemodule Builtins : sig ... end

Sourceval expand : forest:State.t -> Forester_core.Code.t -> Forester_core.Syn.t