package tezos-protocol-003-PsddFKi3
Tezos/Protocol: 003_PsddFKi3 (economic-protocol definition, functor version)
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-17.3.tar.gz
sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680
sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc
doc/tezos-protocol-003-PsddFKi3.raw/Tezos_raw_protocol_003_PsddFKi3/Storage/Roll/index.html
Module Storage.RollSource
Storage from this submodule must only be accessed through the module `Roll`.
Source
module Owner :
Storage_sigs.Indexed_data_snapshotable_storage
with type key = Roll_repr.t
and type snapshot = Cycle_repr.t * int
and type value =
Tezos_protocol_environment_003_PsddFKi3.Signature.Public_key.t
and type t := Raw_context.tSource
module Next :
Storage_sigs.Single_data_storage
with type value = Roll_repr.t
and type t := Raw_context.tThe next roll to be allocated.
Rolls linked lists represent both account owned and free rolls. All rolls belongs either to the limbo list or to an owned list.
Source
module Limbo :
Storage_sigs.Single_data_storage
with type value = Roll_repr.t
and type t := Raw_context.tHead of the linked list of rolls in limbo
Source
module Delegate_roll_list :
Storage_sigs.Indexed_data_storage
with type key =
Tezos_protocol_environment_003_PsddFKi3.Signature.Public_key_hash.t
and type value = Roll_repr.t
and type t := Raw_context.tRolls associated to contracts, a linked list per contract
Source
module Successor :
Storage_sigs.Indexed_data_storage
with type key = Roll_repr.t
and type value = Roll_repr.t
and type t := Raw_context.tUse this to iter on a linked list of rolls
Source
module Delegate_change :
Storage_sigs.Indexed_data_storage
with type key =
Tezos_protocol_environment_003_PsddFKi3.Signature.Public_key_hash.t
and type value = Tez_repr.t
and type t := Raw_context.tThe tez of a contract that are not assigned to rolls
Source
module Snapshot_for_cycle :
Storage_sigs.Indexed_data_storage
with type key = Cycle_repr.t
and type value = int
and type t := Raw_context.tIndex of the randomly selected roll snapshot of a given cycle.
Source
module Last_for_snapshot :
Storage_sigs.Indexed_data_storage
with type key = int
and type value = Roll_repr.t
and type t = Raw_context.t * Cycle_repr.tLast roll in the snapshoted roll allocation of a given cycle.