package tezos-protocol-environment

  1. Overview
  2. Docs
package tezos-protocol-environment
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Context : sig ... end
module Register (C : sig ... end) : sig ... end
val err_implementation_mismatch : expected:string -> got:string -> 'a
type validation_result = {
  1. context : Context.t;
  2. fitness : Tezos_base.TzPervasives.Fitness.t;
  3. message : string option;
  4. max_operations_ttl : int;
  5. last_allowed_fork_level : Stdlib.Int32.t;
}
type quota = {
  1. max_size : int;
  2. max_op : int option;
}
type rpc_context = {
  1. block_hash : Tezos_crypto.Hashed.Block_hash.t;
  2. block_header : Tezos_base.TzPervasives.Block_header.shell_header;
  3. context : Context.t;
}
module type PROTOCOL = sig ... end
module V0 : sig ... end
module V1 : sig ... end
module V2 : sig ... end
module V3 : sig ... end
module V4 : sig ... end
module V5 : sig ... end
module V6 : sig ... end
module V7 : sig ... end
module V8 : sig ... end
module V9 : sig ... end
module Memory_context : sig ... end

Memory_context is a recursive map backed by an in-memory Irmin tree, i.e. Tezos_context_memory.Context (in src/lib_context), used by the mockup mode and by proof verifiers (i.e. clients of Tezos_context_helpers.Context.Make_tree.Proof). It abstracts away Tezos_context_memory.Context.t.

module Proxy_context : sig ... end

This module is the location where the proxy tweaks the behavior of a vanilla client. A regular mockup client uses a Memory_context in place of this implementation. Compared to Memory_context, this instance features a Proxy_Delegate.T which under the hood relies on Proxy_getter.

module Proxy_delegate : sig ... end
module Internal_for_tests : sig ... end
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct