package tezos-protocol-alpha
Tezos/Protocol: economic-protocol definition
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-16.1.tar.gz
sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7
sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f
doc/tezos-protocol-alpha.raw/Tezos_raw_protocol_alpha/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_alpha.Z.tSource
module Paid_storage_space :
Storage_sigs.Single_data_storage
with type t := Raw_context.t
and type value = Tezos_protocol_environment_alpha.Z.tSource
module Used_storage_space :
Storage_sigs.Single_data_storage
with type t := Raw_context.t
and type value = Tezos_protocol_environment_alpha.Z.t