Type Alias EverCrypt_Hash_state_s 

pub type EverCrypt_Hash_state_s = EverCrypt_Hash_state_s_s;

Aliased Type

pub struct EverCrypt_Hash_state_s { /* private fields */ }