Function unsafe_hacspec_examples::aes_gcm::aes::aes128_encrypt

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