pub unsafe extern "C" fn EverCrypt_Hash_Incremental_finish(
s: *mut Hacl_Streaming_Functor_state_s___EverCrypt_Hash_state_s____,
dst: *mut u8,
)pub unsafe extern "C" fn EverCrypt_Hash_Incremental_finish(
s: *mut Hacl_Streaming_Functor_state_s___EverCrypt_Hash_state_s____,
dst: *mut u8,
)