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.4.tar.gz
md5=773a411088ee70e50047d7dafbb4789e
sha512=25bb2fdac7189a86a172e10a40c7d17a03cb3791c06d955e0615b6ef70eb023e4eb845470380d85cb0d145a4a8e9aef0db4ee5eb9778dec92e9a8b5035561e8d

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