type t = Node_type.t
Merkle proof tree. Hash only nodes are expressed by
val pp : Stdlib.Format.formatter -> t -> unit
snapshot ctxt tree builds the snapshot of proof tree
Disk nodes in
tree are loaded from the context
ctxt while snapshooting.
The encoding of the proof tree. The context is used to load
Disk nodes and hash calculation.
make ctxt n paths returns the Merkle proof tree of
paths of node
n under context
ctxt and the nodes found (or not found) at
The proof tree may contain
Disk nodes which require
ctxt to be loaded. To export the proof out of the context, use
encoding to load all the nodes.
nmust point to a
Bud, otherwise the function fails with
Returns the hashed proof tree and its top hash.
The proof tree must be
Disk free, otherwise the function fails.