Function unsafe_hacspec_examples::aes_gcm::decrypt_aes256

pub fn decrypt_aes256(
    key: Key256, 
    iv: Nonce, 
    aad: &ByteSeq, 
    cipher_text: &ByteSeq, 
    tag: Tag
) -> Result<ByteSeq, String>