EverCrypt_DRBG_min_length

Function EverCrypt_DRBG_min_length 

Source
pub unsafe extern "C" fn EverCrypt_DRBG_min_length(
    a: Spec_Hash_Definitions_hash_alg,
) -> u32