package forester

  1. Overview
  2. Docs
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/State/index.html

Module Forester_compiler.StateSource

Sourcemodule Syntax : sig ... end
Sourceval update_history : t -> Action.t -> t
Sourceval get_all_unparsed : t -> Forester_core.Tree.t Seq.t
Sourceval get_all_code : t -> Forester_core.Tree.code Seq.t
Sourceval get_all_unexpanded : t -> Forester_core.Tree.t Seq.t
Sourceval get_all_expanded : t -> Forester_core.Tree.syn Seq.t
Sourceval get_all_unevaluated : t -> Forester_core.Tree.t Seq.t
Sourceval get_all_evaluated : t -> Forester_core.Tree.evaluated Seq.t
Sourceval get_resource : t -> Forester_core.URI.Tbl.key -> Forester_core__Types.content Forester_core__Types.resource option
Sourceval section_symbol : string
Sourceval get_content_of_transclusion : Forester_core.Types.transclusion -> t -> Forester_core.Types.content option
Sourceval wrong_variants_for_uri : Forester_core.URI.t -> Forester_core.URI.t list
Sourcetype uri_suggestion =
  1. | Ok
  2. | Not_found of {
    1. suggestion : Forester_core.URI.t option;
    }
Sourceval suggestion_for_uri : Forester_core.URI.t -> t -> uri_suggestion
Sourceval plant_resource : ?route_locally:bool -> Forester_core.Types.content Forester_core.Types.resource -> t -> unit
Sourceval batch_write : t -> Cache.t
Sourceval reconstruct : env:'a -> _config:Forester_core.Config.t -> 'b Seq.t -> t -> unit
Sourceval source_path_of_uri : Forester_core.URI.t -> t -> string option
Sourceval source_path_of_origin : Forester_core.origin -> t -> string option
Sourceval source_path_of_identity : Forester_core.identity -> t -> string option
OCaml

Innovation. Community. Security.