Module Tezos_protocol_environment_alpha.ContextSource

Sourcetype depth = [
  1. | `Eq of int
  2. | `Ge of int
  3. | `Gt of int
  4. | `Le of int
  5. | `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
Sourceval 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
Sourceval 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
Sourceval 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
Sourcetype cache_key
Sourcetype cache_value = ..
Sourcemodule type CACHE = sig ... end
Sourcemodule Cache : sig ... end