package tezos-protocol-017-PtNairob
Tezos/Protocol: economic-protocol definition
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-17.3.tar.gz
sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680
sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc
doc/tezos-protocol-017-PtNairob.raw/Tezos_raw_protocol_017_PtNairob/Storage/Ticket_balance/index.html
Module Storage.Ticket_balanceSource
This module exposes a balance table for tracking ticket ownership. The table is a mapping from keys to values where the keys consist of a hashed representation of:
- A ticketer, i.e. the creator of the ticket
- The content of a the ticket
- The contract that owns some amount of the ticket The values of the table are the amounts owned by each key.
Source
module Table :
Storage_sigs.Non_iterable_indexed_carbonated_data_storage
with type t := Raw_context.t
and type key = Ticket_hash_repr.t
and type value = Tezos_protocol_environment_017_PtNairob.Z.tSource
module Paid_storage_space :
Storage_sigs.Single_data_storage
with type t := Raw_context.t
and type value = Tezos_protocol_environment_017_PtNairob.Z.tSource
module Used_storage_space :
Storage_sigs.Single_data_storage
with type t := Raw_context.t
and type value = Tezos_protocol_environment_017_PtNairob.Z.t