Function hacspec_chacha20poly1305::chacha20_poly1305_decrypt

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