in src/proof.rs [327:337]
fn verify_inclusion_proof(
&self,
leaves: &[Self::ProofNodeType],
root: &Self::ProofNodeType,
) -> bool {
if leaves.len() == 1 {
self.verify(&leaves[0], root)
} else {
self.verify_batch(leaves, root)
}
}