Tezos_023_PtSeouLo_test_helpers.Ticket_helpersval assert_balance :
Tezos_raw_protocol_023_PtSeouLo__Alpha_context.t ->
loc:string ->
Tezos_raw_protocol_023_PtSeouLo__Alpha_context.Ticket_hash.t ->
int option ->
unit Tezos_base.TzPervasives.tzresult Lwt.tval string_ticket_token :
string ->
string ->
Tezos_protocol_023_PtSeouLo.Protocol.Ticket_token.ex_token
Tezos_base.TzPervasives.tzresult
Lwt.tval adjust_ticket_token_balance :
Tezos_raw_protocol_023_PtSeouLo.Alpha_context.context ->
Tezos_raw_protocol_023_PtSeouLo.Alpha_context.Destination.t ->
Tezos_raw_protocol_023_PtSeouLo.Ticket_token.ex_token ->
delta:Tezos_protocol_environment_023_PtSeouLo.Z.t ->
(Tezos_raw_protocol_023_PtSeouLo.Alpha_context.Ticket_hash.t
* Tezos_raw_protocol_023_PtSeouLo__Alpha_context.t)
Tezos_base.TzPervasives.tzresult
Lwt.t