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

Calculate Merckle Proofs

type t

val generate : 
  Plebeia__.Cursor.cursor ->
  Segment.t list ->
  (t, Error.t) Result.t

val validate : Segment.t list -> t -> (Plebeia__.Node_hash.t, Error.t) Result.t

val get_data : t -> Value.t

val encoding : t Data_encoding.t