package plebeia

  1. Overview
  2. Docs
package plebeia
Legend:
Library
Module
Module type
Parameter
Class
Class type
type detail = Fs_types.Path.t * Segment.segment list * Node_type.node option
val encoding : Fs_tree.Vc.t -> t Data_encoding.t
val pp : Format.formatter -> t -> unit
val make : Fs_types.Path.t -> Fs_types.Path.t list -> (t * detail list) Fs_tree.Op.t

make basedir paths builds a Merkle proof of the paths from basedir. It also returns the objects at paths.

val check : Fs_tree.Vc.t -> t -> (Hash.Prefix.t * detail list, Error.t) result

Compute the top hash of the given Merkle proof. It also returns the objects at the paths attached with the proof.