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

Bud hashconsing based on the hashes

type t

The cache table type

type stat = {

ever_hit : int;
ever_added : int;

}

val get_stat : t -> stat

val empty : unit -> t

Create a new empty table

val pp_stat : Format.formatter -> t -> unit

Print out the stat

val find_opt : t -> Hash.t -> Plebeia__.Index.t option

val add : t -> Hash.t -> Plebeia__.Index.t -> unit

val size : t -> int

The number of the entries in the table.

The memory used for each entry is 16words(= 128bytes) in 64bit arch.

val shrink : int -> t -> unit

Shrink down the size of the table lower than the specified number.

val reachable_words : t -> int

Count the reachable words. Very heavy. Do not use it casually.