EverCrypt_DRBG_uu___is_SHA1_s

evercrypt_tiny_sys

Function EverCrypt_DRBG_uu___is_SHA1_s 

Source 
pub unsafe extern "C" fn EverCrypt_DRBG_uu___is_SHA1_s(
    uu___: Spec_Hash_Definitions_hash_alg,
    projectee: EverCrypt_DRBG_state_s,
) -> bool