Module Tezos_alpha_test_helpers.Ticket_helpersSource

Sourceval assert_balance : Tezos_raw_protocol_alpha__Alpha_context.context -> loc:string -> Tezos_raw_protocol_alpha__Alpha_context.Ticket_hash.t -> int option -> (unit, Tezos_base.TzPervasives.tztrace) result Lwt.t
Sourceval string_ticket_token : string -> string -> (Tezos_protocol_alpha.Protocol.Ticket_token.ex_token, Tezos_base.TzPervasives.tztrace) result Lwt.t
Sourceval adjust_ticket_token_balance : Tezos_raw_protocol_alpha.Alpha_context.context -> Tezos_raw_protocol_alpha.Alpha_context.Destination.t -> Tezos_raw_protocol_alpha.Ticket_token.ex_token -> delta:Tezos_protocol_environment_alpha.Z.t -> (Tezos_raw_protocol_alpha.Alpha_context.Ticket_hash.t * Tezos_raw_protocol_alpha__Alpha_context.context, Tezos_base.TzPervasives.tztrace) result Lwt.t