tezos-protocol-012-Psithaca.raw
Tezos_raw_protocol_012_Psithaca.Tez_repr
tezos-protocol-012-Psithaca
tezos-protocol-012-Psithaca.environment
tezos-protocol-012-Psithaca.parameters
type t
type tez = t
val zero : t
val one_mutez : t
val one_cent : t
val fifty_cents : t
val one : t
val (-?) : t -> t -> t Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult
val sub_opt : t -> t -> t option
Same as ( -? ) but returns None instead of an error.
val (+?) : t -> t -> t Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult
val (*?) : t -> int64 -> t Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult
val (/?) : t -> int64 -> t Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult
val to_mutez : t -> int64
val of_mutez : int64 -> t option
of_mutez n (micro tez) is None if n is negative
of_mutez n
val of_mutez_exn : int64 -> t
of_mutez_exn n fails if n is negative. It should only be used at toplevel for constants.
of_mutez_exn n
val mul_exn : t -> int -> t
It should only be used at toplevel for constants.
val div_exn : t -> int -> t
val encoding : t Tezos_protocol_environment_012_Psithaca.Data_encoding.t
include Tezos_protocol_environment_012_Psithaca.Compare.S with type t := t
val (=) : t -> t -> bool
val (<>) : t -> t -> bool
val (<) : t -> t -> bool
val (<=) : t -> t -> bool
val (>=) : t -> t -> bool
val (>) : t -> t -> bool
val compare : t -> t -> int
val equal : t -> t -> bool
val max : t -> t -> t
val min : t -> t -> t
val pp : Tezos_protocol_environment_012_Psithaca.Format.formatter -> t -> unit
val of_string : string -> t option
val to_string : t -> string