Function merkle_verify 

pub fn merkle_verify<H: MerkleHasher>(
    hasher: &H,
    root: H::Digest,
    idx: u32,
    leaf_hash: H::Digest,
    merkle_proof: &[H::Digest],
) -> Result<(), VerifyWhirError>
where
    H::Digest: Eq,