package tezos-context

You can search for identifiers within the package.

in-package search v0.2.0

Tezos: on-disk context abstraction for `tezos-node`

Install

sha256=296bb5674bc6050afe6330326fbdd0dfc2255d414bfd6b79cc7666ac6b39316d

sha512=c061cd300a9410300851158d77bf8e56ca3c568b0b1161b38305e5b2efdcd9c746d391f832fdb2826f9a1d6babce10a9b764a4b04f5df42699f7314b9863123a

type t

val t : t Irmin.Type.t

val of_tree : tree -> t

of_tree t is the proof representing the tree t. Shallow hashes will be blinded.

val to_tree : t -> tree

of_proof p is the tree representing the proof p. Blinded parts of the proof will raise Dangling_hash when traversed.

val of_keys : tree -> key list -> t Lwt.t

of_keys t keys is the minimal proof that can be used to prove that operations over the domain keys are valid with t.