package tezos-protocol-007-PsDELPH1

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Package contains no libraries

Parameters

module Arg : Decimals

include Safe

type 'a t

type fp = fp_tag t

type integral = integral_tag t

val integral : Tezos_protocol_environment_007_PsDELPH1.Z.t -> integral

val integral_of_int : int -> integral

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

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

val n_fp_encoding : fp Tezos_protocol_environment_007_PsDELPH1.Data_encoding.t

val n_integral_encoding : 
  integral Tezos_protocol_environment_007_PsDELPH1.Data_encoding.t

val z_fp_encoding : fp Tezos_protocol_environment_007_PsDELPH1.Data_encoding.t

val z_integral_encoding : 
  integral Tezos_protocol_environment_007_PsDELPH1.Data_encoding.t

val unsafe_fp : Tezos_protocol_environment_007_PsDELPH1.Z.t -> fp