Function Hacl_Hash_SHA2_reset_512

pub unsafe extern "C" fn Hacl_Hash_SHA2_reset_512(
    state: *mut Hacl_Streaming_MD_state_64,
)