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.1.tar.gz
md5=6bdd20df3d77c5fdcf020a74f7964d95
sha512=a60fed82e04be2dc58ca77fd339d0d63e5bfa281f188ddda17c0035a2755c0c575d29d02dfd8742dda81ba02092226029e63b1acc1939f748a3bff3560b79b04

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