Function hacl_sys::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