Module Tree.ProofSource

Sourcetype kinded_hash = [
  1. | `Contents of hash * metadata
  2. | `Node of hash
]
Sourceval kinded_hash_t : kinded_hash Irmin.Type.t
Sourcetype !'a inode = 'a Irmin.Of_backend(X).Tree.Proof.inode = {
  1. length : int;
  2. proofs : (int * 'a) list;
}
Sourceval inode_t : 'a Irmin.Type.t -> 'a inode Irmin.Type.t
Sourcetype !'a inode_extender = 'a Irmin.Of_backend(X).Tree.Proof.inode_extender = {
  1. length : int;
  2. segments : int list;
  3. proof : 'a;
}
Sourceval inode_extender_t : 'a Irmin.Type.t -> 'a inode_extender Irmin.Type.t
Sourcetype tree = Irmin.Of_backend(X).Tree.Proof.tree =
  1. | Contents of contents * metadata
  2. | Blinded_contents of hash * metadata
  3. | Node of (step * tree) list
  4. | Blinded_node of hash
  5. | Inode of inode_tree inode
  6. | Extender of inode_tree inode_extender
Sourceand inode_tree = Irmin.Of_backend(X).Tree.Proof.inode_tree =
  1. | Blinded_inode of hash
  2. | Inode_values of (step * tree) list
  3. | Inode_tree of inode_tree inode
  4. | Inode_extender of inode_tree inode_extender
Sourceval inode_tree_t : inode_tree Irmin.Type.t
Sourcetype elt = Irmin.Of_backend(X).Tree.Proof.elt =
  1. | Contents of contents
  2. | Node of (step * kinded_hash) list
  3. | Inode of hash inode
  4. | Inode_extender of hash inode_extender
Sourcetype stream = elt Seq.t
Sourceval stream_t : stream Irmin.Type.t
Sourceval v : before:kinded_hash -> after:kinded_hash -> 'a -> 'a t
Sourceval before : 'a t -> kinded_hash
Sourceval after : 'a t -> kinded_hash
Sourceval state : 'a t -> 'a
Sourceval to_tree : tree t -> tree