pub unsafe extern "C" fn EverCrypt_Hash_create_in( a: Spec_Hash_Definitions_hash_alg, ) -> *mut EverCrypt_Hash_state_s