EverCrypt_Hash_uu___is_SHA2_512_s

evercrypt_tiny_sys

Function EverCrypt_Hash_uu___is_SHA2_512_s 

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