Context (mavryk-protocol-alpha.Mavryk_protocol_environment

type depth = [

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

]

type config = Mavryk_context_sigs.Config.t

val equal_config : config -> config -> bool

module type VIEW = sig ... end

module Kind : sig ... end

module type TREE = sig ... end

module Proof : sig ... end

type t

type key = string list

type value = bytes

type tree

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

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

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

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

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

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

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

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

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

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

val config : t -> config

module Tree : sig ... end

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

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

module type PROOF_ENCODING = sig ... end

module Proof_encoding : sig ... end

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

val get_hash_version : t -> Context_hash.Version.t

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

type cache_key

type cache_value = ..

module type CACHE = sig ... end

module Cache : sig ... end