Function hacl_sys::Hacl_Streaming_SHA2_finish_512

pub unsafe extern "C" fn Hacl_Streaming_SHA2_finish_512(
    p: *mut Hacl_Streaming_MD_state_64,
    dst: *mut u8
)

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.)