package irmin

  1. Overview
  2. Docs
Irmin, a distributed database that follows the same design principles as Git

Install

Dune Dependency

Authors

Maintainers

Sources

irmin-2.9.1.tbz
sha256=16003a8a873737b0a8ae2a940399b14754c5c2ba506e4511b96df4473e912783
sha512=64682e67c1e9f6b6f6a5f017da7c0d7e5316e2dd139ad8ad7ad43b73003d827fb9f3141c10469986dee47849687c841a297b91d08186f72268c41e026810a647

doc/irmin.mem/Irmin_mem/Make/Tree/Proof/index.html

Module Tree.ProofSource

Sourcetype t
Sourceval of_tree : tree -> t

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

Sourceval 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.

Sourceval 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.

OCaml

Innovation. Community. Security.