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/Raw_context_intf/index.html

Module `Tezos_raw_protocol_015_PtLimaPt.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_015_PtLimaPt.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