Function unsafe_hacspec_examples::aes_gcm::aes::aes128_decrypt

pub fn aes128_decrypt(
    key: Key128, 
    nonce: Nonce, 
    counter: U32, 
    ctxt: &ByteSeq
) -> ByteSeq