package tezos-smart-rollup-016-PtMumbai

You can search for identifiers within the package.

in-package search v0.2.0

tezos-smart-rollup-016-PtMumbai
- README
- Library tezos-smart-rollup-016-PtMumbai
  - Tezos_smart_rollup_016_PtMumbai
    
    Context_helpers
    
    In_memory
    
    Tree
    
    Game_helpers
    
    Wasm
    
    Proof_helpers
    
    Pvm
    
    Arith_pvm_in_memory
    
    Wasm_pvm_in_memory
- Sources
  - tezos-smart-rollup-016-PtMumbai
    
    context_helpers.ml
    
    game_helpers.ml
    
    proof_helpers.ml
    
    pvm.ml
    
    tezos_smart_rollup_016_PtMumbai.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `In_memory.Tree`Source

Sourcetype t

Sourcetype tree

Sourcetype key = string list

Sourcetype value = bytes

val mem : tree -> key -> bool Tezos_protocol_environment_016_PtMumbai.Lwt.t

val mem_tree : 
  tree ->
  key ->
  bool Tezos_protocol_environment_016_PtMumbai.Lwt.t

val find : 
  tree ->
  key ->
  value option Tezos_protocol_environment_016_PtMumbai.Lwt.t

val find_tree : 
  tree ->
  key ->
  tree option Tezos_protocol_environment_016_PtMumbai.Lwt.t

val list : 
  tree ->
  ?offset:int ->
  ?length:int ->
  key ->
  (string * tree) list Tezos_protocol_environment_016_PtMumbai.Lwt.t

val length : tree -> key -> int Tezos_protocol_environment_016_PtMumbai.Lwt.t

val add : 
  tree ->
  key ->
  value ->
  tree Tezos_protocol_environment_016_PtMumbai.Lwt.t

val add_tree : 
  tree ->
  key ->
  tree ->
  tree Tezos_protocol_environment_016_PtMumbai.Lwt.t

val remove : tree -> key -> tree Tezos_protocol_environment_016_PtMumbai.Lwt.t

val fold : 
  ?depth:Tezos_protocol_environment_016_PtMumbai.Context.depth ->
  tree ->
  key ->
  order:[ `Sorted | `Undefined ] ->
  init:'a ->
  f:(key -> tree -> 'a -> 'a Tezos_protocol_environment_016_PtMumbai.Lwt.t) ->
  'a Tezos_protocol_environment_016_PtMumbai.Lwt.t

val config : tree -> Tezos_protocol_environment_016_PtMumbai.Context.config

val empty : t -> tree

val is_empty : tree -> bool

val kind : tree -> Tezos_protocol_environment_016_PtMumbai.Context.Kind.t

val to_value : 
  tree ->
  value option Tezos_protocol_environment_016_PtMumbai.Lwt.t

val of_value : t -> value -> tree Tezos_protocol_environment_016_PtMumbai.Lwt.t

val hash : tree -> Tezos_protocol_environment_016_PtMumbai.Context_hash.t

val equal : tree -> tree -> bool

val clear : ?depth:int -> tree -> unit

package tezos-smart-rollup-016-PtMumbai

Module In_memory.TreeSource

Module `In_memory.Tree`Source