Tez (tezos-protocol-alpha.Tezos_raw_protocol_alpha.Alpha

type repr

type t =

include BASIC_DATA with type t := t

include Tezos_protocol_environment_alpha.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 encoding : t Tezos_protocol_environment_alpha.Data_encoding.t

val pp : Tezos_protocol_environment_alpha.Format.formatter -> t -> unit

val zero : t

val one_mutez : t

val one_cent : t

val fifty_cents : t

val one : t

val max_mutez : t

val (-?) : t -> t -> t Tezos_protocol_environment_alpha.Error_monad.tzresult

val sub_opt : t -> t -> t option

val (+?) : t -> t -> t Tezos_protocol_environment_alpha.Error_monad.tzresult

val (*?) : 
  t ->
  int64 ->
  t Tezos_protocol_environment_alpha.Error_monad.tzresult

val (/?) : 
  t ->
  int64 ->
  t Tezos_protocol_environment_alpha.Error_monad.tzresult

val of_string : string -> t option

val to_string : t -> string

val of_mutez : int64 -> t option

val to_mutez : t -> int64

val of_mutez_exn : int64 -> t

val mul_exn : t -> int -> t

val div_exn : t -> int -> t

val mul_ratio : 
  rounding:[ `Down | `Up ] ->
  t ->
  num:int64 ->
  den:int64 ->
  t Tezos_protocol_environment_alpha.Error_monad.tzresult

val mul_percentage : rounding:[ `Down | `Up ] -> t -> Percentage.t -> t