package forester

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

Install 

dune-project
 Dependency

sr.ht Readme Edit opam file Versions (17)

Authors

  1. J
    Jonathan Sterling

Maintainers

  1. J
    Jonathan Sterling

Sources

2.5.tar.gz
md5=d4224ee007858144623c999bc18c638c
sha512=781f353ddbb3724b8fe81f85be48529ff7d88781cb5111bb9cf04bc623714a549c94192092797c4c1f136fbeb43970a24c1ce6edea9329f9f91b964d798fcd49

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