tezos-protocol-005-PsBabyM1 10.2

Storage from this submodule must only be accessed through the module `Contract`.

module Global_counter : sig ... end

val fold : 
  Raw_context.t ->
  init:'a ->
  f:(Contract_repr.t -> 'a -> 'a Lwt.t) ->
  'a Lwt.t

The domain of alive contracts

val list : Raw_context.t -> Contract_repr.t list Lwt.t

module Balance : 
  Storage_sigs.Indexed_data_storage
    with type key = Contract_repr.t
     and type value = Tez_repr.t
     and type t := Raw_context.t

All the tez possesed by a contract, including rolls and change

module Frozen_deposits : 
  Storage_sigs.Indexed_data_storage
    with type key = Cycle_repr.t
     and type value = Tez_repr.t
     and type t = Raw_context.t * Contract_repr.t

Frozen balance, see 'delegate_storage.mli' for more explanation. Always update `Delegates_with_frozen_balance` accordingly.

module Frozen_fees : 
  Storage_sigs.Indexed_data_storage
    with type key = Cycle_repr.t
     and type value = Tez_repr.t
     and type t = Raw_context.t * Contract_repr.t

module Frozen_rewards : 
  Storage_sigs.Indexed_data_storage
    with type key = Cycle_repr.t
     and type value = Tez_repr.t
     and type t = Raw_context.t * Contract_repr.t

module Manager : 
  Storage_sigs.Indexed_data_storage
    with type key = Contract_repr.t
     and type value = Manager_repr.t
     and type t := Raw_context.t

The manager of a contract

module Delegate : 
  Storage_sigs.Indexed_data_storage
    with type key = Contract_repr.t
     and type value = Tezos_crypto.Signature.public_key_hash
     and type t := Raw_context.t

The delegate of a contract, if any.

module Delegated : 
  Storage_sigs.Data_set_storage
    with type elt = Contract_repr.t
     and type t = Raw_context.t * Contract_repr.t

All contracts (implicit and originated) that are delegated, if any

module Delegated_004 : 
  Storage_sigs.Data_set_storage
    with type elt = Contract_hash.t
     and type t = Raw_context.t * Contract_repr.t

Only for migration from proto_004

module Inactive_delegate : 
  Storage_sigs.Data_set_storage
    with type elt = Contract_repr.t
     and type t = Raw_context.t

module Delegate_desactivation : 
  Storage_sigs.Indexed_data_storage
    with type key = Contract_repr.t
     and type value = Cycle_repr.t
     and type t := Raw_context.t

The cycle where the delegate should be desactivated.

module Spendable_004 : 
  Storage_sigs.Data_set_storage
    with type elt = Contract_repr.t
     and type t := Raw_context.t

module Delegatable_004 : 
  Storage_sigs.Data_set_storage
    with type elt = Contract_repr.t
     and type t := Raw_context.t

module Counter : 
  Storage_sigs.Indexed_data_storage
    with type key = Contract_repr.t
     and type value = Z.t
     and type t := Raw_context.t

module Code : sig ... end

module Storage : sig ... end

module Used_storage_space : 
  Storage_sigs.Indexed_data_storage
    with type key = Contract_repr.t
     and type value = Z.t
     and type t := Raw_context.t

Current storage space in bytes. Includes code, global storage and big map elements.

module Paid_storage_space : 
  Storage_sigs.Indexed_data_storage
    with type key = Contract_repr.t
     and type value = Z.t
     and type t := Raw_context.t

Maximal space available without needing to burn new fees.

package tezos-protocol-005-PsBabyM1