EverCrypt_Hash_uu___is_Blake2B_s

evercrypt_tiny_sys

Function EverCrypt_Hash_uu___is_Blake2B_s 

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