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