Function unsafe_hacspec_examples::aes_gcm::aes::aes256_decrypt

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