Function Hacl_Hash_SHA1_reset

pub unsafe extern "C" fn Hacl_Hash_SHA1_reset(
    state: *mut Hacl_Streaming_MD_state_32,
)