Tezos_024_PtTALLiN_test_helpers.Ticket_helpersval assert_balance :
Tezos_raw_protocol_024_PtTALLiN__Alpha_context.t ->
loc:string ->
Tezos_raw_protocol_024_PtTALLiN__Alpha_context.Ticket_hash.t ->
int option ->
unit Tezos_base.TzPervasives.tzresult Lwt.tval string_ticket_token :
string ->
string ->
Tezos_protocol_024_PtTALLiN.Protocol.Ticket_token.ex_token
Tezos_base.TzPervasives.tzresult
Lwt.tval adjust_ticket_token_balance :
Tezos_raw_protocol_024_PtTALLiN.Alpha_context.context ->
Tezos_raw_protocol_024_PtTALLiN.Alpha_context.Destination.t ->
Tezos_raw_protocol_024_PtTALLiN.Ticket_token.ex_token ->
delta:Tezos_protocol_environment_024_PtTALLiN.Z.t ->
(Tezos_raw_protocol_024_PtTALLiN.Alpha_context.Ticket_hash.t
* Tezos_raw_protocol_024_PtTALLiN__Alpha_context.t)
Tezos_base.TzPervasives.tzresult
Lwt.t