package forester

You can search for identifiers within the package.

in-package search v0.2.0

package forester

forester.core
- Forester_core
  - Base
    
    Addr
    
    Addr_map
    
    Addr_set
    
    String_map
  - BaseN
    
    Base36
    
    I
    
    Make
    
    _
    
    S
  - Code
  - Eval
    
    Make
  - Expand
    
    Builtins
    
    Transclude
    
    UnitMap
  - Prim
  - Query
    
    Rel
  - Range
  - Reporter
    
    Message
  - Resolver
    
    P
    
    Scope
    
    Perform
    
    Silence
  - Sem
    
    MethodTable
    
    Query
    
    Text_modifier
    
    Util
  - Symbol
  - Syn
  - TeX_cs
  - Xml_tree
forester.frontend
- Forester_frontend
  - Config
    
    Forest_config
  - Forest
  - Grammar
    
    Incremental
    
    MenhirInterpreter
  - Import_graph
    
    Gph
    
    Topo
  - Lexer
  - Parse
forester.prelude
- Forester_prelude
  - Compare
  - Date
  - Eio_util
    
    NullSink
  - Printer_kit
    
    Kit
    
    P
    
    S
    
    S0
  - String_util
forester.render
- Forester_render
  - Build_latex
  - Compile
    
    I
    
    Make
    
    _
  - LaTeX_queue
    
    Make
    
    S
  - LaTeX_template
  - Render_TeX_like
    
    Printer
  - Render_json
  - Render_text
    
    Printer
  - Render_util
  - Serialise_xml_tree
    
    I
    
    Make
    
    _
  - Xml_forester

Legend:
Library
Module
Module type
Parameter
Class
Class type

val query_cost : query -> int

A heuristic for computing an intersection of queries.

val sort_by_ascending_cost : query list -> query list

val sort_by_descending_cost : query list -> query list

val isect : query list -> query

val union : query list -> query

val complement : query -> query

val rel : Query.mode -> Query.polarity -> Query.Rel.t -> Base.addr -> query

val tree_under : Base.addr -> query

val isect_fam_rel : 
  query ->
  Query.mode ->
  Query.polarity ->
  Query.Rel.t ->
  query

val union_fam_rel : 
  query ->
  Query.mode ->
  Query.polarity ->
  Query.Rel.t ->
  query

val has_taxon : string -> query

val hereditary_contributors : Base.addr -> query

val references : Base.addr -> query

val context : Base.addr -> query

val backlinks : Base.addr -> query

val related : Base.addr -> query

val contributions : Base.addr -> query