Function mrklt::verify_proof

pub fn verify_proof<M: Merge>(
    leaf: &M::Hash, 
    proof: &[ProofElem<M::Hash>]
) -> M::Hash

Calculate the expected Merkle root given the a leaf and its proof.