Forester_compiler.ForestSourceAugmented hash table used throughout compilation phases.
val analyse_resource :
(module Forester_core.Forest_graphs.S) ->
Forester_core.Types.content Forester_core.Types.resource ->
unitanalyse_resource graphs resource traverses resource, recording facts about it in graphs.
Transclude, it adds an edge to the transcludes relation in graphs.Datalog_script script, it runs the script and records the results in graphs.val get_article :
key ->
Forester_core.Types.content Forester_core.Types.resource t ->
Forester_core.Types.content Forester_core.Types.article optionval run_datalog_query :
(module Forester_core.Forest_graphs.S) ->
(string, Forester_core.Vertex.t) Forester_core.Datalog_expr.query ->
Forester_core.Vertex_set.tval get_expanded_title :
?scope:key ->
?flags:Forester_core.Types.title_flags ->
Forester_core.Types.content Forester_core.Types.frontmatter ->
Forester_core.Types.content Forester_core.Types.resource t ->
Forester_core.Types.contentval get_content_of_transclusion :
Forester_core.Types.transclusion ->
Forester_core.Types.content Forester_core.Types.resource t ->
Forester_core.Types.content optionval get_title_or_content_of_vertex :
?not_found:(key -> Forester_core.Types.content option) ->
Forester_core.Types.content Forester_core.Types.vertex ->
Forester_core.Types.content Forester_core.Types.resource t ->
Forester_core.Types.content optionval get_all_articles :
'a Forester_core.Types.resource t ->
'a Forester_core.Types.article list