package forester

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

Install 

dune-project
 Dependency

sr.ht Edit opam file Versions (17)

Authors

  1. J
    Jonathan Sterling

Maintainers

  1. J
    Jonathan Sterling

Sources

2.2.1.tar.gz
md5=6f013c1c3c492725dfc153c79038b6d7
sha512=2d6eeb865a8939ff5ef9031e969a41c81480cf5ef814f83a68d98aebe84c67657587231d8ef0ae820becbe429064de70772ed5b7db60828dc5657f250df7fdfc

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