pub unsafe extern "C" fn Hacl_Streaming_SHA2_finish_512(
p: *mut Hacl_Streaming_MD_state_64,
dst: *mut u8,
)Expand description
Write the resulting hash into dst, an array of 64 bytes. The state remains
valid after a call to finish_512, meaning the user may feed more data into
the hash via update_512. (The finish_512 function operates on an internal copy of
the state and therefore does not invalidate the client-held state p.)