pub unsafe extern "C" fn EverCrypt_Hash_Incremental_free(
s: *mut Hacl_Streaming_Functor_state_s___EverCrypt_Hash_state_s____,
)pub unsafe extern "C" fn EverCrypt_Hash_Incremental_free(
s: *mut Hacl_Streaming_Functor_state_s___EverCrypt_Hash_state_s____,
)