Module Tezos_017_PtNairob_test_helpers.Ticket_helpersSource

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