Function reference_trie::proof::verify_proof

pub fn verify_proof<'a, L, I, K, V>(
    root: &<<L as TrieLayout>::Hash as Hasher>::Out, 
    proof: &[Vec<u8>], 
    items: I
) -> Result<(), Error<<<L as TrieLayout>::Hash as Hasher>::Out, <<L as TrieLayout>::Codec as NodeCodec>::Error>> where
    I: IntoIterator<Item = &'a (K, Option<V>)>,
    K: 'a + AsRef<[u8]>,
    L: TrieLayout,
    V: 'a + AsRef<[u8]>, 

Verify a compact proof for key-value pairs in a trie given a root hash.