Function hacl_sys::Hacl_Streaming_SHA2_free_512

pub unsafe extern "C" fn Hacl_Streaming_SHA2_free_512(
    s: *mut Hacl_Streaming_MD_state_64
)

Free a state allocated with create_in_512.

This function is identical to the free function for SHA2_384.