Up – Package index » tezos-protocol-016-PtMumbai » Library tezos-protocol-016-PtMumbai.raw » Tezos_raw_protocol_016_PtMumbai » Ticket_receipt

Module `Tezos_raw_protocol_016_PtMumbai.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_016_PtMumbai.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

Source

val item_encoding : 
  item Tezos_protocol_environment_016_PtMumbai.Data_encoding.t

Sourceval encoding : t Tezos_protocol_environment_016_PtMumbai.Data_encoding.t