Type Alias EverCrypt_Hash_e_alg 

pub type EverCrypt_Hash_e_alg = *mut c_void;