Function tp_state_machine::read_child_proof_check

pub fn read_child_proof_check<H, I>(
    root: H::Out, 
    proof: StorageProof, 
    child_info: &ChildInfo, 
    keys: I
) -> Result<HashMap<Vec<u8>, Option<Vec<u8>>>, Box<dyn Error>> where
    H: Hasher,
    H::Out: Ord + Codec,
    I: IntoIterator,
    I::Item: AsRef<[u8]>, 

Check child storage read proof, generated by prove_child_read call.