package forester

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Relation symbols
Query modifiers
Query type

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
  - 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
  - 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

Relation symbols

module Rel : sig ... end

type rel = Rel.t

Query modifiers

type polarity =

| Incoming
| Outgoing

Determines whether we are searching for edges into or out of the supplied vertex.

val pp_polarity : 
  Ppx_deriving_runtime.Format.formatter ->
  polarity ->
  Ppx_deriving_runtime.unit

val show_polarity : polarity -> Ppx_deriving_runtime.string

type mode =

| Edges
| Paths

Determines whether we are querying a relation or its reflexive-transitive closure.

val pp_mode : 
  Ppx_deriving_runtime.Format.formatter ->
  mode ->
  Ppx_deriving_runtime.unit

val show_mode : mode -> Ppx_deriving_runtime.string

Query type

type rel_query = mode * polarity * Rel.t

The parameters of a relational query.

val pp_rel_query : 
  Ppx_deriving_runtime.Format.formatter ->
  rel_query ->
  Ppx_deriving_runtime.unit

val show_rel_query : rel_query -> Ppx_deriving_runtime.string