package plebeia

  1. Overview
  2. Docs
package plebeia
Legend:
Library
Module
Module type
Parameter
Class
Class type
type detail = Path.t * Segment.segment list * Node_type.node option
val pp : Format.formatter -> Merkle_proof.t -> unit
val convert_details : (Segment.t list * 'a) list -> ((Path.t * Segment.t list * 'b) list, Error.t) Result.t
val make : Path.t list -> cursor -> (cursor * (Merkle_proof.t * (Path.t * Segment.t list * Node_type.t option) list), Error.t) result
val check : Vc.t -> Merkle_proof.t -> (Hash.Prefix.t * (Path.t * Segment.t list * Node_type.t option) list, Error.t) result