package forester
A tool for tending mathematical forests
Install
Dune Dependency
Authors
Maintainers
Sources
2.4.tar.gz
md5=773a411088ee70e50047d7dafbb4789e
sha512=25bb2fdac7189a86a172e10a40c7d17a03cb3791c06d955e0615b6ef70eb023e4eb845470380d85cb0d145a4a8e9aef0db4ee5eb9778dec92e9a8b5035561e8d
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