Gas.Arith
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 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