Mavryk_alpha_test_helpers.Ticket_helpersval assert_balance :
Mavryk_raw_protocol_alpha__Alpha_context.t ->
loc:string ->
Mavryk_raw_protocol_alpha__Alpha_context.Ticket_hash.t ->
int option ->
unit Mavryk_base.TzPervasives.tzresult Lwt.tval string_ticket_token :
string ->
string ->
Mavryk_protocol_alpha.Protocol.Ticket_token.ex_token
Mavryk_base.TzPervasives.tzresult
Lwt.tval adjust_ticket_token_balance :
Mavryk_raw_protocol_alpha.Alpha_context.context ->
Mavryk_raw_protocol_alpha.Alpha_context.Destination.t ->
Mavryk_raw_protocol_alpha.Ticket_token.ex_token ->
delta:Mavryk_protocol_environment_alpha.Z.t ->
(Mavryk_raw_protocol_alpha.Alpha_context.Ticket_hash.t
* Mavryk_raw_protocol_alpha__Alpha_context.t)
Mavryk_base.TzPervasives.tzresult
Lwt.t