Function hacspec_chacha20poly1305::chacha20_poly1305_decrypt

pub fn chacha20_poly1305_decrypt(
    key: ChaChaPolyKey,
    iv: ChaChaPolyIV,
    aad: &[u8],
    cipher_text: &[u8],
    tag: Poly1305Tag
) -> ByteSeqResult