hacl_sys

Function Hacl_HMAC_DRBG_uu___is_State

Source 
pub unsafe extern "C" fn Hacl_HMAC_DRBG_uu___is_State(
    a: Spec_Hash_Definitions_hash_alg,
    projectee: Hacl_HMAC_DRBG_state,
) -> bool