Function hacl_sys::EverCrypt_Hash_Incremental_hash

pub unsafe extern "C" fn EverCrypt_Hash_Incremental_hash(
    a: Spec_Hash_Definitions_hash_alg,
    dst: *mut u8,
    input: *mut u8,
    len: u32
)

Hash input, of len len, into dst, an array whose length is determined by your choice of algorithm a (see Hacl_Spec.h). You can use the macros defined earlier in this file to allocate a destination buffer of the right length. This API will automatically pick the most efficient implementation, provided you have called EverCrypt_AutoConfig2_init() before.