Function hacspec_aes128_gcm::encrypt_aes128

pub fn encrypt_aes128(
    key: Key128, 
    iv: AesNonce, 
    aad: &ByteSeq, 
    msg: &ByteSeq
) -> (ByteSeq, Gf128Tag)