package tezos-plompiler

  1. Overview
  2. Docs

Module Merkle_narity.VSource

Parameters

module H : HASH
module L : sig ... end

Signature

Sourcetype direction = L.scalar
Sourcetype proof = (L.scalar * (L.scalar list * direction) list) L.repr
Sourceval merkle_proof : int -> proof -> root -> bool L.repr L.t
OCaml

Innovation. Community. Security.