Ticket_helpers (mavkit-protocol-001-PtAtLas-libs.Mavryk_001_PtAtLas_test_helpers.Ticket

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

val string_ticket_token : 
  string ->
  string ->
  Mavryk_protocol_001_PtAtLas.Protocol.Ticket_token.ex_token
    Mavryk_base.TzPervasives.tzresult
    Lwt.t

val adjust_ticket_token_balance : 
  Mavryk_raw_protocol_001_PtAtLas.Alpha_context.context ->
  Mavryk_raw_protocol_001_PtAtLas.Alpha_context.Destination.t ->
  Mavryk_raw_protocol_001_PtAtLas.Ticket_token.ex_token ->
  delta:Mavryk_protocol_environment_001_PtAtLas.Z.t ->
  (Mavryk_raw_protocol_001_PtAtLas.Alpha_context.Ticket_hash.t
   * Mavryk_raw_protocol_001_PtAtLas__Alpha_context.t)
    Mavryk_base.TzPervasives.tzresult
    Lwt.t