Tezos_025_PsUshuai_test_helpers.Ticket_helpersval assert_balance :
Tezos_raw_protocol_025_PsUshuai__Alpha_context.t ->
loc:string ->
Tezos_raw_protocol_025_PsUshuai__Alpha_context.Ticket_hash.t ->
int option ->
unit Tezos_base.TzPervasives.tzresult Lwt.tval string_ticket_token :
string ->
string ->
Tezos_protocol_025_PsUshuai.Protocol.Ticket_token.ex_token
Tezos_base.TzPervasives.tzresult
Lwt.tval adjust_ticket_token_balance :
Tezos_raw_protocol_025_PsUshuai.Alpha_context.context ->
Tezos_raw_protocol_025_PsUshuai.Alpha_context.Destination.t ->
Tezos_raw_protocol_025_PsUshuai.Ticket_token.ex_token ->
delta:Tezos_protocol_environment_025_PsUshuai.Z.t ->
(Tezos_raw_protocol_025_PsUshuai.Alpha_context.Ticket_hash.t
* Tezos_raw_protocol_025_PsUshuai__Alpha_context.t)
Tezos_base.TzPervasives.tzresult
Lwt.t