Module Merkle.VSource

Parameters

module L : sig ... end

Signature

Sourcetype path
Sourcetype leaf = L.scalar
Sourcetype root = L.scalar
Sourceval path_encoding : (P.path, path, (L.scalar * bool) list) L.Encodings.encoding
Sourceval merkle_proof : path -> leaf L.repr -> root L.repr -> bool L.repr L.t