Merkle_narity.V
module H : HASH
module L : sig ... end
type direction = L.scalar
type proof = (L.scalar * (L.scalar list * direction) list) L.repr
type root = L.scalar L.repr
val merkle_proof : int -> proof -> root -> bool L.repr L.t