Function verify_inclusion 

pub fn verify_inclusion(
    leaf: &[u8; 32],
    index: usize,
    size: usize,
    path: &[[u8; 32]],
    root_hex: &str,
) -> bool

Whether leaf sits at index of a tree of size leaves with that root.