package tezos-protocol-015-PtLimaPt

You can search for identifiers within the package.

in-package search v0.2.0

Tezos/Protocol: economic-protocol definition

Install

Dune Dependency

www.tezos.com Readme Edit opam file Versions (8)

Authors

T

Tezos devteam

Maintainers

C

contact@tezos.com

Sources

tezos-16.0.tar.gz

sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55

sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b

doc/tezos-protocol-015-PtLimaPt.raw/Tezos_raw_protocol_015_PtLimaPt/Gas_limit_repr/Arith/index.html

Module `Gas_limit_repr.Arith`Source

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

include Fixed_point_repr.Safe with type 'a t := 'a t

Sourcetype fp = Fixed_point_repr.fp_tag t

Sourcetype integral = Fixed_point_repr.integral_tag t

Sourceval integral_exn : Tezos_protocol_environment_015_PtLimaPt.Z.t -> integral

Sourceval integral_of_int_exn : int -> integral

Sourceval integral_to_z : integral -> Tezos_protocol_environment_015_PtLimaPt.Z.t

Sourceval zero : 'a t

Sourceval add : 'a t -> 'a t -> 'a t

Sourceval sub : 'a t -> 'a t -> 'a t

Sourceval ceil : fp -> integral

Sourceval floor : fp -> integral

Sourceval fp : 'a t -> fp

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

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

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

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

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

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

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

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

Sourceval max : 'a t -> 'a t -> 'a t

Sourceval min : 'a t -> 'a t -> 'a t

Source

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

Source

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

Sourceval n_fp_encoding : fp Tezos_protocol_environment_015_PtLimaPt.Data_encoding.t

Source

val n_integral_encoding : 
  integral Tezos_protocol_environment_015_PtLimaPt.Data_encoding.t

Sourceval z_fp_encoding : fp Tezos_protocol_environment_015_PtLimaPt.Data_encoding.t

Source

val z_integral_encoding : 
  integral Tezos_protocol_environment_015_PtLimaPt.Data_encoding.t

Sourceval unsafe_fp : Tezos_protocol_environment_015_PtLimaPt.Z.t -> fp

package tezos-protocol-015-PtLimaPt

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-015-PtLimaPt.raw/Tezos_raw_protocol_015_PtLimaPt/Gas_limit_repr/Arith/index.html

Module Gas_limit_repr.ArithSource

Module `Gas_limit_repr.Arith`Source