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