package forester

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

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

Parameters

Signature

val eval_tree : 
  addr:Base.addr ->
  source_path:string option ->
  Syn.tree ->
  Sem.tree * Sem.tree list

val run_query : Sem.query -> Base.Addr_set.t