EverCrypt_Hash_uu___is_SHA1_s

evercrypt_tiny_sys

Function EverCrypt_Hash_uu___is_SHA1_s 

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