Mavryk_raw_protocol_001_PtAtLas.Ticket_receipt
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.
type update = {
account : Alpha_context.Destination.t;
amount : Mavryk_protocol_environment_001_PtAtLas.Z.t;
}
Represents that account
's storage has delta amount
for a given ticket
List of updates for a ticket
type t = item list
A list of ticket tokens and their corresponding updates
val item_encoding :
item Mavryk_protocol_environment_001_PtAtLas.Data_encoding.t
val encoding : t Mavryk_protocol_environment_001_PtAtLas.Data_encoding.t