Function unsafe_hacspec_examples::aes_gcm::decrypt_aes128

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