Function unsafe_hacspec_examples::aes_gcm::aes::aes256_encrypt

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