Function EverCrypt_Hash_Incremental_update 

pub unsafe extern "C" fn EverCrypt_Hash_Incremental_update(
    p: *mut Hacl_Streaming_Functor_state_s___EverCrypt_Hash_state_s____,
    data: *mut u8,
    len: u32,
)