package forester
A tool for tending mathematical forests
Install
Dune Dependency
Authors
Maintainers
Sources
2.5.1.tar.gz
md5=b26b6f4e3d14b976c3d5018c97b81b94
sha512=f0c794ed4330485b5255639720ad7201488b77ef947b0736a847fa4f56f93d3f03a22fd2a3319bbe867bab827a4b5ae73b2426a1067911b29fe178d21dd99e73
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