EverCrypt_Hash_Incremental_alg_of_state

evercrypt_tiny_sys

Function EverCrypt_Hash_Incremental_alg_of_state 

Source 
pub unsafe extern "C" fn EverCrypt_Hash_Incremental_alg_of_state(
    s: *mut Hacl_Streaming_Functor_state_s___EverCrypt_Hash_state_s____,
) -> Spec_Hash_Definitions_hash_alg