EverCrypt_Hash_uu___is_MD5_s

evercrypt_tiny_sys

Function EverCrypt_Hash_uu___is_MD5_s 

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