package tezos-protocol-008-PtEdoTez

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type 'a t

type fp = Fixed_point_repr.fp_tag t

type integral = Fixed_point_repr.integral_tag t

val integral : Tezos_protocol_environment_008_PtEdoTez.Z.t -> integral

val integral_of_int : int -> integral

val integral_to_z : integral -> Tezos_protocol_environment_008_PtEdoTez.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 : 
  Tezos_protocol_environment_008_PtEdoTez.Format.formatter ->
  'a t ->
  unit

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

val n_fp_encoding : fp Tezos_protocol_environment_008_PtEdoTez.Data_encoding.t

val n_integral_encoding : 
  integral Tezos_protocol_environment_008_PtEdoTez.Data_encoding.t

val z_fp_encoding : fp Tezos_protocol_environment_008_PtEdoTez.Data_encoding.t

val z_integral_encoding : 
  integral Tezos_protocol_environment_008_PtEdoTez.Data_encoding.t