Module `Tezos_protocol_environment_013_PtJakart.Context`Source

Sourcetype depth = [

| `Eq of int
| `Ge of int
| `Gt of int
| `Le of int
| `Lt of int

]

Sourcetype config = Tezos_context_sigs.Config.t

Sourceval equal_config : config -> config -> bool

Sourcemodule type VIEW = sig ... end

Sourcemodule Kind : sig ... end

Sourcemodule type TREE = sig ... end

Sourcemodule Proof : sig ... end

Sourcetype t

Sourcetype key = string list

Sourcetype value = bytes

Sourcetype tree

Sourceval mem : t -> key -> bool Lwt.t

Sourceval mem_tree : t -> key -> bool Lwt.t

Sourceval find : t -> key -> value option Lwt.t

Sourceval find_tree : t -> key -> tree option Lwt.t

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

Sourceval length : t -> key -> int Lwt.t

Sourceval add : t -> key -> value -> t Lwt.t

Sourceval add_tree : t -> key -> tree -> t Lwt.t

Sourceval remove : t -> key -> t Lwt.t

Source

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

Sourceval config : t -> config

Sourcemodule Tree : sig ... end

Source

val verify_tree_proof : 
  Proof.tree Proof.t ->
  (tree -> (tree * 'a) Lwt.t) ->
  (tree * 'a,
    [ `Proof_mismatch of string
    | `Stream_too_long of string
    | `Stream_too_short of string ])
    Pervasives.result
    Lwt.t

Source

val verify_stream_proof : 
  Proof.stream Proof.t ->
  (tree -> (tree * 'a) Lwt.t) ->
  (tree * 'a,
    [ `Proof_mismatch of string
    | `Stream_too_long of string
    | `Stream_too_short of string ])
    Pervasives.result
    Lwt.t

Sourcemodule type PROOF_ENCODING = sig ... end

Sourcemodule Proof_encoding : sig ... end

Sourceval complete : t -> string -> string list Lwt.t

Sourceval get_hash_version : t -> Context_hash.Version.t

Source

val set_hash_version : 
  t ->
  Context_hash.Version.t ->
  t Error_monad.shell_tzresult Lwt.t

Sourcetype cache_key

Sourcetype cache_value = ..

Sourcemodule type CACHE = sig ... end

Sourcemodule Cache : sig ... end

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-013-PtJakart.environment/Tezos_protocol_environment_013_PtJakart/Context/index.html

Module `Tezos_protocol_environment_013_PtJakart.Context`Source

package tezos-protocol-013-PtJakart

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-013-PtJakart.environment/Tezos_protocol_environment_013_PtJakart/Context/index.html

Module Tezos_protocol_environment_013_PtJakart.ContextSource

Module `Tezos_protocol_environment_013_PtJakart.Context`Source