Test_tez (mavkit-protocol-001-PtAtLas-libs.Mavryk_001_PtAtLas_test_helpers.Test

val (+?) : 
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.mav ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.mav ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.mav
    Mavryk_base.TzPervasives.tzresult

val (-?) : 
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.mav ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.mav ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.mav
    Mavryk_base.TzPervasives.tzresult

val (*?) : 
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.mav ->
  int64 ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.mav
    Mavryk_base.TzPervasives.tzresult

val (/?) : 
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.mav ->
  int64 ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.mav
    Mavryk_base.TzPervasives.tzresult

val (+!) : 
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.mav ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.mav ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.mav

val (-!) : 
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.mav ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.mav ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.mav

val (*!) : 
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.mav ->
  int64 ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.mav

val (/!) : 
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.mav ->
  int64 ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.mav

val of_int : int -> Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.mav

val of_mumav_exn : 
  int64 ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.mav

val to_mumav : 
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.mav ->
  int64

val max_tez : Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.mav