package tezos-protocol-014-PtKathma

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

sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7

sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f

doc/tezos-protocol-014-PtKathma.raw/Tezos_raw_protocol_014_PtKathma/Raw_context_intf/index.html

Module `Tezos_raw_protocol_014_PtKathma.Raw_context_intf`Source

All context manipulation functions. This signature is included as-is for direct context accesses, and used in Storage_functors to provide restricted views to the context.

Sourcetype depth = [

| `Eq of int
| `Le of int
| `Lt of int
| `Ge of int
| `Gt of int

]

The tree depth of a fold. See the fold function for more information.

Sourcetype config = Tezos_protocol_environment_014_PtKathma.Context.config

The type for context configuration. If two trees or stores have the same configuration, they will generate the same context hash.

Sourcemodule type VIEW = sig ... end

Sourcemodule Kind : sig ... end

Sourcemodule type TREE = sig ... end

Tree provides immutable, in-memory partial mirror of the context, with lazy reads and delayed writes. The trees are Merkle trees that carry the same hash as the part of the context they mirror.

Sourcemodule type PROOF = sig ... end

Proofs are compact representations of trees which can be shared between peers.

Sourcemodule type T = sig ... end