package forester

  1. Overview
  2. Docs
A tool for tending mathematical forests

Install 

dune-project
 Dependency

github.com Edit opam file Versions (17)

Authors

  1. J
    Jonathan Sterling

Maintainers

  1. J
    Jonathan Sterling

Sources

2.1.tar.gz
md5=31749867afa21e73376e229a8f664890
sha512=297e088801dcd263cb636a9526ad31f96e1090fea8eac7a8887c115d604bafe8aa3b44a18efb8027666f0f50b53c920269e79a1cf06abcb58918643a4e18bba1

doc/forester.core/Core/Resolver/Scope/index.html

Module Resolver.ScopeSource

Sourcetype not_found_handler = P.context option -> Yuujinchou.Trie.bwd_path -> unit
Sourcetype shadow_handler = P.context option -> Yuujinchou.Trie.bwd_path -> (P.data * P.tag) -> (P.data * P.tag) -> P.data * P.tag
Sourceexception Locked
Sourceval resolve : Yuujinchou.Trie.path -> (P.data * P.tag) option
Sourceval include_singleton : ?context_visible:??? -> ?context_export:??? -> (Yuujinchou.Trie.path * (P.data * P.tag)) -> unit
Sourceval include_subtree : ?context_modifier:??? -> ?context_visible:??? -> ?context_export:??? -> ?modifier:??? -> (Yuujinchou.Trie.path * (P.data, P.tag) Yuujinchou.Trie.t) -> unit
Sourceval import_singleton : ?context_visible:??? -> (Yuujinchou.Trie.path * (P.data * P.tag)) -> unit
Sourceval import_subtree : ?context_modifier:??? -> ?context_visible:??? -> ?modifier:??? -> (Yuujinchou.Trie.path * (P.data, P.tag) Yuujinchou.Trie.t) -> unit
Sourceval modify_visible : ?context_visible:??? -> P.hook Yuujinchou.Language.t -> unit
Sourceval modify_export : ?context_export:??? -> P.hook Yuujinchou.Language.t -> unit
Sourceval export_visible : ?context_modifier:??? -> ?context_export:??? -> P.hook Yuujinchou.Language.t -> unit
Sourceval get_export : unit -> (P.data, P.tag) Yuujinchou.Trie.t
Sourceval section : ?context_modifier:??? -> ?context_visible:??? -> ?context_export:??? -> ?modifier:??? -> Yuujinchou.Trie.path -> (unit -> 'a) -> 'a
Sourcemodule type Perform = sig ... end
Sourcemodule Perform : sig ... end
Sourcemodule Silence : sig ... end
Sourceval run : ?not_found:??? -> ?shadow:??? -> ?hook:??? -> ?export_prefix:??? -> ?init_visible:??? -> (unit -> 'a) -> 'a
Sourceval try_with : ?not_found:??? -> ?shadow:??? -> ?hook:??? -> (unit -> 'a) -> 'a
Sourceval register_printer : ([ `Hook of P.context option * Yuujinchou.Trie.bwd_path * P.hook * (P.data, P.tag) Yuujinchou.Trie.t | `NotFound of P.context option * Yuujinchou.Trie.bwd_path | `Shadow of P.context option * Yuujinchou.Trie.bwd_path * (P.data * P.tag) * (P.data * P.tag) ] -> string option) -> unit