package tezos-protocol-016-PtMumbai

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-016-PtMumbai.raw/Tezos_raw_protocol_016_PtMumbai/Dal_slot_repr/Index/index.html

Module `Dal_slot_repr.Index`Source

An `Index.t` is a possible value for a slot index. We assume this value to be a positive 8-bit integer. Note that this is a hard constraint, which is independent of protocol constants. If a choice is ever made to increase the size of available slots in the protocol, we also need to change this module to accommodate for higher values.

Sourcetype t

Sourceval encoding : t Tezos_protocol_environment_016_PtMumbai.Data_encoding.t

Sourceval pp : Tezos_protocol_environment_016_PtMumbai.Format.formatter -> t -> unit

Sourceval zero : t

Sourceval max_value : t

Sourceval of_int : int -> t option

of_int n constructs a`Slot_index.t`

Sourceval to_int : t -> int

Sourceval compare : t -> t -> int

Sourceval equal : t -> t -> bool