pub unsafe extern "C" fn EverCrypt_Hash_alg_of_state(
s: *mut EverCrypt_Hash_state_s,
) -> Spec_Hash_Definitions_hash_algpub unsafe extern "C" fn EverCrypt_Hash_alg_of_state(
s: *mut EverCrypt_Hash_state_s,
) -> Spec_Hash_Definitions_hash_alg