Arith (mavryk-protocol-alpha.Mavryk_raw_protocol_alpha.Alpha

type 'a t = private Saturation_repr.may_saturate Saturation_repr.t

type fp = Fixed_point_repr.fp_tag t

type integral = Fixed_point_repr.integral_tag t

val integral_exn : Mavryk_protocol_environment_alpha.Z.t -> integral

val integral_of_int_exn : int -> integral

val integral_to_z : integral -> Mavryk_protocol_environment_alpha.Z.t

val zero : 'a t

val add : 'a t -> 'a t -> 'a t

val sub : 'a t -> 'a t -> 'a t

val ceil : fp -> integral

val floor : fp -> integral

val fp : 'a t -> fp

val (=) : 'a t -> 'b t -> bool

val (<>) : 'a t -> 'b t -> bool

val (<) : 'a t -> 'b t -> bool

val (<=) : 'a t -> 'b t -> bool

val (>=) : 'a t -> 'b t -> bool

val (>) : 'a t -> 'b t -> bool

val compare : 'a t -> 'b t -> int

val equal : 'a t -> 'b t -> bool

val max : 'a t -> 'a t -> 'a t

val min : 'a t -> 'a t -> 'a t

val pp : Mavryk_protocol_environment_alpha.Format.formatter -> 'a t -> unit

val pp_integral : 
  Mavryk_protocol_environment_alpha.Format.formatter ->
  integral ->
  unit

val n_fp_encoding : fp Mavryk_protocol_environment_alpha.Data_encoding.t

val n_integral_encoding : 
  integral Mavryk_protocol_environment_alpha.Data_encoding.t

val z_fp_encoding : fp Mavryk_protocol_environment_alpha.Data_encoding.t

val z_integral_encoding : 
  integral Mavryk_protocol_environment_alpha.Data_encoding.t