pub unsafe extern "C" fn EverCrypt_Hash_string_of_alg( uu___: Spec_Hash_Definitions_hash_alg, ) -> C_String_t