pub type EverCrypt_AEAD_state_s = EverCrypt_AEAD_state_s_s;
struct EverCrypt_AEAD_state_s { /* private fields */ }