pub unsafe extern "C" fn EverCrypt_HMAC_is_supported_alg(
    uu___: Spec_Hash_Definitions_hash_alg
) -> bool