pub unsafe extern "C" fn Hacl_Hash_SHA2_free_512(
state: *mut Hacl_Streaming_MD_state_64,
)Expand description
Free a state allocated with malloc_512.
This function is identical to the free function for SHA2_384.
pub unsafe extern "C" fn Hacl_Hash_SHA2_free_512(
state: *mut Hacl_Streaming_MD_state_64,
)Free a state allocated with malloc_512.
This function is identical to the free function for SHA2_384.