Up – Package index » tezos-protocol-alpha » Library tezos-protocol-alpha.raw » Tezos_raw_protocol_alpha » Ticket_receipt

Module `Tezos_raw_protocol_alpha.Ticket_receipt`Source

A module for representing the increase/decrease of tickets in the storage. It will be used to display ticket update information in the operation receipt.

Sourcetype update = {

account : Alpha_context.Destination.t;
amount : Tezos_protocol_environment_alpha.Z.t;

}

Represents that account's storage has delta amount for a given ticket

Sourcetype item = {

ticket_token : Ticket_token.unparsed_token;
updates : update list;

}

List of updates for a ticket

Sourcetype t = item list

A list of ticket tokens and their corresponding updates

Sourceval item_encoding : item Tezos_protocol_environment_alpha.Data_encoding.t

Sourceval encoding : t Tezos_protocol_environment_alpha.Data_encoding.t