Ticket_helpers (octez-protocol-022-PsRiotum-libs.Tezos_022_PsRiotum_test_helpers.Ticket

val assert_balance : 
  Tezos_raw_protocol_022_PsRiotum__Alpha_context.t ->
  loc:string ->
  Tezos_raw_protocol_022_PsRiotum__Alpha_context.Ticket_hash.t ->
  int option ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val string_ticket_token : 
  string ->
  string ->
  Tezos_protocol_022_PsRiotum.Protocol.Ticket_token.ex_token
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val adjust_ticket_token_balance : 
  Tezos_raw_protocol_022_PsRiotum.Alpha_context.context ->
  Tezos_raw_protocol_022_PsRiotum.Alpha_context.Destination.t ->
  Tezos_raw_protocol_022_PsRiotum.Ticket_token.ex_token ->
  delta:Tezos_protocol_environment_022_PsRiotum.Z.t ->
  (Tezos_raw_protocol_022_PsRiotum.Alpha_context.Ticket_hash.t
   * Tezos_raw_protocol_022_PsRiotum__Alpha_context.t)
    Tezos_base.TzPervasives.tzresult
    Lwt.t