Type Alias EverCrypt_DRBG_state_s 

pub type EverCrypt_DRBG_state_s = EverCrypt_DRBG_state_s_s;

Aliased Type

#[repr(C)]
pub struct EverCrypt_DRBG_state_s { /* private fields */ }