pub unsafe extern "C" fn Hacl_HMAC_DRBG_free( uu___: Spec_Hash_Definitions_hash_alg, s: Hacl_HMAC_DRBG_state, )