Alpha_context.Tez
This module re-exports definitions from Tez_repr
.
include BASIC_DATA with type t := t
include Mavryk_protocol_environment_001_PtAtLas.Compare.S with type t := t
val encoding : t Mavryk_protocol_environment_001_PtAtLas.Data_encoding.t
val pp : Mavryk_protocol_environment_001_PtAtLas.Format.formatter -> t -> unit
type mav = t
val zero : mav
val one_mumav : mav
val one_cent : mav
val fifty_cents : mav
val one : mav
val max_mumav : mav
val (-?) :
mav ->
mav ->
mav Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult
val (+?) :
mav ->
mav ->
mav Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult
val (*?) :
mav ->
int64 ->
mav Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult
val (/?) :
mav ->
int64 ->
mav Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult
val of_string : string -> mav option
val to_string : mav -> string
val of_mumav : int64 -> mav option
val to_mumav : mav -> int64
val of_mumav_exn : int64 -> t