Big_map (mavryk-protocol-alpha.Mavryk_raw_protocol_alpha.Storage.Big

type id = Lazy_storage_kind.Big_map.Id.t

module Next : sig ... end

val fold : 
  Raw_context.t ->
  order:[ `Sorted | `Undefined ] ->
  init:'a ->
  f:(id -> 'a -> 'a Mavryk_protocol_environment_alpha.Lwt.t) ->
  'a Mavryk_protocol_environment_alpha.Lwt.t

The domain of alive big maps

val list : Raw_context.t -> id list Mavryk_protocol_environment_alpha.Lwt.t

val remove : 
  Raw_context.t ->
  id ->
  Raw_context.t Mavryk_protocol_environment_alpha.Lwt.t

val copy : 
  Raw_context.t ->
  from:id ->
  to_:id ->
  Raw_context.t Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

type key = Raw_context.t * id

val rpc_arg : id Mavryk_protocol_environment_alpha.RPC_arg.t

module Contents : sig ... end

module Total_bytes : 
  Storage_sigs.Indexed_data_storage_with_local_context
    with type key = id
     and type value = Mavryk_protocol_environment_alpha.Z.t
     and type t := Raw_context.t

module Key_type : 
  Storage_sigs.Indexed_data_storage
    with type key = id
     and type value = Script_repr.expr
     and type t := Raw_context.t

module Value_type : 
  Storage_sigs.Indexed_data_storage
    with type key = id
     and type value = Script_repr.expr
     and type t := Raw_context.t