package forester
A tool for tending mathematical forests
Install
Dune Dependency
Authors
Maintainers
Sources
2.3.tar.gz
md5=00fff94216aacd334351c2b1741d5246
sha512=724770d12a91674da76cc7842020ce7af2d37950d4429fe1ffac3b05d73a2079648f00c8eb33595e3dfa4874b2cd6b6a8c9d1f9034276a00b44d302091630cdb
doc/forester.core/Core/Resolver/Scope/index.html
Module Resolver.ScopeSource
Source
type hook_handler =
P.context option ->
Yuujinchou.Trie.bwd_path ->
P.hook ->
(P.data, P.tag) Yuujinchou.Trie.t ->
(P.data, P.tag) Yuujinchou.Trie.tSource
val include_subtree :
?context_modifier:P.context ->
?context_visible:P.context ->
?context_export:P.context ->
?modifier:P.hook Yuujinchou.Language.t ->
(Yuujinchou.Trie.path * (P.data, P.tag) Yuujinchou.Trie.t) ->
unitSource
val import_singleton :
?context_visible:P.context ->
(Yuujinchou.Trie.path * (P.data * P.tag)) ->
unitSource
val import_subtree :
?context_modifier:P.context ->
?context_visible:P.context ->
?modifier:P.hook Yuujinchou.Language.t ->
(Yuujinchou.Trie.path * (P.data, P.tag) Yuujinchou.Trie.t) ->
unitSource
val export_visible :
?context_modifier:P.context ->
?context_export:P.context ->
P.hook Yuujinchou.Language.t ->
unitSource
val section :
?context_modifier:P.context ->
?context_visible:P.context ->
?context_export:P.context ->
?modifier:P.hook Yuujinchou.Language.t ->
Yuujinchou.Trie.path ->
(unit -> 'a) ->
'aSource
val run :
?not_found:not_found_handler ->
?shadow:shadow_handler ->
?hook:hook_handler ->
?export_prefix:Yuujinchou.Trie.bwd_path ->
?init_visible:(P.data, P.tag) Yuujinchou.Trie.t ->
(unit -> 'a) ->
'aSource
val try_with :
?not_found:not_found_handler ->
?shadow:shadow_handler ->
?hook:hook_handler ->
(unit -> 'a) ->
'aSource
val 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