pub unsafe extern "C" fn EverCrypt_Hash_Incremental_finish_sha1(
p: *mut Hacl_Streaming_Functor_state_s___EverCrypt_Hash_state_s____,
dst: *mut u8,
)pub unsafe extern "C" fn EverCrypt_Hash_Incremental_finish_sha1(
p: *mut Hacl_Streaming_Functor_state_s___EverCrypt_Hash_state_s____,
dst: *mut u8,
)