Function ics23::verify_non_membership

pub fn verify_non_membership<H: HostFunctionsProvider>(
    proof: &CommitmentProof,
    spec: &ProofSpec,
    root: &Vec<u8>,
    key: &[u8]
) -> bool