package tezos-protocol-015-PtLimaPt

  1. Overview
  2. Docs
Tezos/Protocol: economic-protocol definition

Install 

dune-project
 Dependency

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

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-16.1.tar.gz
sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7
sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f

doc/tezos-protocol-015-PtLimaPt.environment/Tezos_protocol_environment_015_PtLimaPt/Context/index.html

Module Tezos_protocol_environment_015_PtLimaPt.ContextSource

Sourcetype depth = [
  1. | `Eq of int
  2. | `Ge of int
  3. | `Gt of int
  4. | `Le of int
  5. | `Lt of int
]
Sourcetype config = Tezos_context_sigs.Config.t
Sourceval equal_config : config -> config -> bool
Sourcemodule type VIEW = sig ... end
Sourcemodule Kind : sig ... end
Sourcemodule type TREE = sig ... end
Sourcemodule Proof : sig ... end
Sourcetype t
Sourcetype key = string list
Sourcetype value = bytes
Sourcetype tree
Sourceval mem : t -> key -> bool Lwt.t
Sourceval mem_tree : t -> key -> bool Lwt.t
Sourceval find : t -> key -> value option Lwt.t
Sourceval find_tree : t -> key -> tree option Lwt.t
Sourceval list : t -> ?offset:int -> ?length:int -> key -> (string * tree) list Lwt.t
Sourceval length : t -> key -> int Lwt.t
Sourceval add : t -> key -> value -> t Lwt.t
Sourceval add_tree : t -> key -> tree -> t Lwt.t
Sourceval remove : t -> key -> t Lwt.t
Sourceval fold : ?depth:depth -> t -> key -> order:[ `Sorted | `Undefined ] -> init:'a -> f:(key -> tree -> 'a -> 'a Lwt.t) -> 'a Lwt.t
Sourceval config : t -> config
Sourcemodule Tree : sig ... end
Sourceval verify_tree_proof : Proof.tree Proof.t -> (tree -> (tree * 'a) Lwt.t) -> (tree * 'a, [ `Proof_mismatch of string | `Stream_too_long of string | `Stream_too_short of string ]) Pervasives.result Lwt.t
Sourceval verify_stream_proof : Proof.stream Proof.t -> (tree -> (tree * 'a) Lwt.t) -> (tree * 'a, [ `Proof_mismatch of string | `Stream_too_long of string | `Stream_too_short of string ]) Pervasives.result Lwt.t
Sourcemodule type PROOF_ENCODING = sig ... end
Sourcemodule Proof_encoding : sig ... end
Sourceval complete : t -> string -> string list Lwt.t
Sourceval get_hash_version : t -> Context_hash.Version.t
Sourcetype cache_key
Sourcetype cache_value = ..
Sourcemodule type CACHE = sig ... end
Sourcemodule Cache : sig ... end