EverCrypt_Hash_Incremental_create_in

evercrypt_tiny_sys

Function EverCrypt_Hash_Incremental_create_in 

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