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-17.3.tar.gz

sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680

sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc

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

Module `Gas.Arith`Source

Sourcetype 'a t = private Saturation_repr.may_saturate Saturation_repr.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

package tezos-protocol-015-PtLimaPt

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module Gas.ArithSource

Module `Gas.Arith`Source