plebeia

Functional storage using Merkle Patricia tree
package plebeia
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library plebeia
Module Plebeia . Fs_impl . Make . Merkle_proof
type detail = Path.t * Segment.segment list * Node_type.node option
val pp : Stdlib.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 ) Stdlib.result
val check : Vc.t -> Merkle_proof.t -> ( Hash.Prefix.t * (Path.t * Segment.t list * Node_type.t option) list, Error.t ) Stdlib.result