Module Tezos_020_PsParisC_test_helpers.Ticket_helpersSource

Sourceval assert_balance : Tezos_raw_protocol_020_PsParisC__Alpha_context.context -> loc:string -> Tezos_raw_protocol_020_PsParisC__Alpha_context.Ticket_hash.t -> int option -> unit Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval string_ticket_token : string -> string -> Tezos_protocol_020_PsParisC.Protocol.Ticket_token.ex_token Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval adjust_ticket_token_balance : Tezos_raw_protocol_020_PsParisC.Alpha_context.context -> Tezos_raw_protocol_020_PsParisC.Alpha_context.Destination.t -> Tezos_raw_protocol_020_PsParisC.Ticket_token.ex_token -> delta:Tezos_protocol_environment_020_PsParisC.Z.t -> (Tezos_raw_protocol_020_PsParisC.Alpha_context.Ticket_hash.t * Tezos_raw_protocol_020_PsParisC__Alpha_context.context) Tezos_base.TzPervasives.tzresult Lwt.t