TICKET: to create a ticket with an identiﬁer and a value; the source address is that of the contract that initiated the creation.
READ_TICKET: shows information about a ticket (address, identiﬁer, and value), while preserving it on the Michelson stack¹.
JOIN_TICKETS: combines two tickets with the same source and identiﬁer into a new ticket; its value will be the sum of the values of the original tickets.
SPLIT_TICKET: reverse of the
JOIN_TICKETSoperation; splits one ticket into two tickets with the same identiﬁer such that the sum of their values is equal to the value of the original ticket.
READ_TICKETis an exception to this rule as it is not possible to duplicate a ticket.