Function sp_state_machine::read_range_proof_check

pub fn read_range_proof_check<H>(
    root: H::Out,
    proof: StorageProof,
    child_info: Option<&ChildInfo>,
    prefix: Option<&[u8]>,
    count: Option<u32>,
    start_at: Option<&[u8]>
) -> Result<(Vec<(Vec<u8>, Vec<u8>)>, bool), Box<dyn Error>>
where
    H: Hasher + 'static,
    H::Out: Ord + Codec,

Check child storage range proof, generated by prove_range_read_with_size call.