Function hacl_sys::EverCrypt_Hash_Incremental_finish

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

Write the resulting hash into dst, an array whose length is algorithm-specific. You can use the macros defined earlier in this file to allocate a destination buffer of the right length. The state remains valid after a call to finish, meaning the user may feed more data into the hash via update. (The finish function operates on an internal copy of the state and therefore does not invalidate the client-held state.)