Table (mavryk-benchmarks-proto-alpha.Mavryk_benchmarks_proto_alpha.Storage

type t = Mavryk_protocol_alpha.Protocol.Raw_context.t

type context = t

type key = Int32.Index.t

type value = string

val mem : 
  context ->
  key ->
  (Mavryk_raw_protocol_alpha.Raw_context.t * bool)
    Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val get : 
  context ->
  key ->
  (Mavryk_raw_protocol_alpha.Raw_context.t * value)
    Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val find : 
  context ->
  key ->
  (Mavryk_raw_protocol_alpha.Raw_context.t * value option)
    Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val update : 
  context ->
  key ->
  value ->
  (Mavryk_raw_protocol_alpha.Raw_context.t * int)
    Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val init : 
  context ->
  key ->
  value ->
  (Mavryk_raw_protocol_alpha.Raw_context.t * int)
    Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val add : 
  context ->
  key ->
  value ->
  (Mavryk_raw_protocol_alpha.Raw_context.t * int * bool)
    Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val add_or_remove : 
  context ->
  key ->
  value option ->
  (Mavryk_raw_protocol_alpha.Raw_context.t * int * bool)
    Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val remove_existing : 
  context ->
  key ->
  (Mavryk_raw_protocol_alpha.Raw_context.t * int)
    Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val remove : 
  context ->
  key ->
  (Mavryk_raw_protocol_alpha.Raw_context.t * int * bool)
    Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val keys_unaccounted : 
  context ->
  key list Mavryk_protocol_environment_alpha.Lwt.t

val list_key_values : 
  ?offset:int ->
  ?length:int ->
  t ->
  (Mavryk_raw_protocol_alpha.Raw_context.t * (key * value) list)
    Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val is_empty : 
  context ->
  (Mavryk_raw_protocol_alpha.Raw_context.t * bool)
    Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val clear : 
  context ->
  Mavryk_raw_protocol_alpha.Raw_context.t
    Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t