package plebeia

You can search for identifiers within the package.

in-package search v0.2.0

package plebeia

plebeia
- Plebeia
  - Error
  - Hash
  - Hashcons
  - Internal
    
    Bud_cache
    
    Context
    
    Cursor
    
    Cursor_hash
    
    Cursor_storage
    
    Cursor_tools
    
    GenTraverse
    
    Debug
    
    Deep
    
    Deep_stat
    
    Diff
    
    Ediff
    
    Gen
    
    Op
    
    Index
    
    Map
    
    Set
    
    Lock
    
    Log
    
    Monad
    
    Make1
    
    A
    
    Op
    
    Make2
    
    A
    
    Op
    
    S1
    
    Op
    
    S2
    
    Op
    
    Node
    
    Node_hash
    
    Node_storage
    
    Node_tools
    
    Option
    
    Op
    
    Rand
    
    Search
    
    Storage
    
    Chunk
    
    Test_utils
    
    Exn
    
    Format
    
    Hashtbl
    
    List
    
    Open
    
    String
    
    Traverse
    
    Utils
    
    Exn
    
    Format
    
    Hashtbl
    
    List
    
    Open
    
    String
  - Merkle_proof
  - Result
    
    Op
  - Roots
    
    Entry
    
    RootHash
  - Segment
  - Stat
  - Value
  - Vc

Legend:
Library
Module
Module type
Parameter
Class
Class type

val string_of_node : Plebeia__.Node.node -> int -> string

Dump a node

val simple_string_of_node : Plebeia__.Node.node -> string

Dump a node, but not recursively

val dot_of_node : Plebeia__.Node.node -> string

Obtain Graphviz dot file representation of the tree

val dot_of_cursor : Plebeia__.Cursor.cursor -> string

Obtain Graphviz dot file representation of the cursor

val validate_node : 
  Plebeia__.Context.t ->
  Plebeia__.Node.node ->
  (unit, string) Result.t

Invariant checking of node

val save_cursor_to_dot : string -> Plebeia__.Cursor.cursor -> unit

val save_node_to_dot : string -> Plebeia__.Node.node -> unit

Graphviz visualization