Alpha_context.TezThis module re-exports definitions from Tez_repr.
include BASIC_DATA with type t := tinclude Mavryk_protocol_environment_001_PtAtLas.Compare.S with type t := tval encoding : t Mavryk_protocol_environment_001_PtAtLas.Data_encoding.tval pp : Mavryk_protocol_environment_001_PtAtLas.Format.formatter -> t -> unittype mav = tval zero : mavval one_mumav : mavval one_cent : mavval fifty_cents : mavval one : mavval max_mumav : mavval (-?) :
mav ->
mav ->
mav Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresultval (+?) :
mav ->
mav ->
mav Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresultval (*?) :
mav ->
int64 ->
mav Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresultval (/?) :
mav ->
int64 ->
mav Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresultval of_string : string -> mav optionval to_string : mav -> stringval of_mumav : int64 -> mav optionval to_mumav : mav -> int64val of_mumav_exn : int64 -> t