package octez-proto-libs

You can search for identifiers within the package.

in-package search v0.2.0

Octez protocol libraries

Install

Dune Dependency

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

Authors

T

Tezos devteam

Maintainers

C

contact@tezos.com

Sources

tezos-octez-v20.1.tag.bz2

sha256=ddfb5076eeb0b32ac21c1eed44e8fc86a6743ef18ab23fff02d36e365bb73d61

sha512=d22a827df5146e0aa274df48bc2150b098177ff7e5eab52c6109e867eb0a1f0ec63e6bfbb0e3645a6c2112de3877c91a17df32ccbff301891ce4ba630c997a65

doc/octez-proto-libs.protocol-environment/Tezos_protocol_environment/Register/argument-1-C/index.html

Parameter `Register.C`

val equal_config : 
  Tezos_context_sigs.Config.t ->
  Tezos_context_sigs.Config.t ->
  bool

type t

type key = string list

type value = bytes

type tree

val mem : t -> key -> bool Lwt.t

val mem_tree : t -> key -> bool Lwt.t

val find : t -> key -> value option Lwt.t

val find_tree : t -> key -> tree option Lwt.t

val list : t -> ?offset:int -> ?length:int -> key -> (string * tree) list Lwt.t

val length : t -> key -> int Lwt.t

val add : t -> key -> value -> t Lwt.t

val add_tree : t -> key -> tree -> t Lwt.t

val remove : t -> key -> t Lwt.t

val fold : 
  ?depth:Tezos_context_sigs__Context.depth ->
  t ->
  key ->
  order:[ `Sorted | `Undefined ] ->
  init:'a ->
  f:(key -> tree -> 'a -> 'a Lwt.t) ->
  'a Lwt.t

val config : t -> Tezos_context_sigs.Config.t

module Tree : sig ... end

val set_protocol : t -> Tezos_crypto.Hashed.Protocol_hash.t -> t Lwt.t

val get_protocol : t -> Tezos_crypto.Hashed.Protocol_hash.t Lwt.t

val fork_test_chain : 
  t ->
  protocol:Tezos_crypto.Hashed.Protocol_hash.t ->
  expiration:Tezos_base.TzPervasives.Time.Protocol.t ->
  t Lwt.t

val set_hash_version : 
  t ->
  Tezos_crypto.Hashed.Context_hash.Version.t ->
  t Tezos_base.TzPervasives.tzresult Lwt.t

val get_hash_version : t -> Tezos_crypto.Hashed.Context_hash.Version.t

module Proof : sig ... end

type tree_proof := Proof.tree Proof.t

type stream_proof := Proof.stream Proof.t

type ('proof, 'result) verifier :=
  'proof ->
  (tree -> (tree * 'result) Lwt.t) ->
  (tree * 'result,
    [ `Proof_mismatch of string
    | `Stream_too_long of string
    | `Stream_too_short of string ])
    result
    Lwt.t

val verify_tree_proof : (tree_proof, 'a) verifier

val verify_stream_proof : (stream_proof, 'a) verifier