pub unsafe extern "C" fn EverCrypt_Hash_Incremental_finish(
s: *mut EverCrypt_Hash_Incremental_hash_state,
dst: *mut u8,
)Expand description
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.)