package plebeia

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Make.Merkle_proofSource

Sourcetype detail = Path.t * Segment.segment list * Node_type.node option
Sourceval convert_details : (Segment.t list * 'a) list -> ((Path.t * Segment.t list * 'a) list, Error.t) Result.t
Sourceval make : Path.t list -> cursor -> (cursor * (Merkle_proof.t * (Path.t * Segment.t list * Node_type.t option) list), Error.t) result
Sourceval check : Vc.t -> Merkle_proof.t -> (Hash.Prefix.t * (Path.t * Segment.t list * Node_type.t option) list, Error.t) result
OCaml

Innovation. Community. Security.