pub unsafe extern "C" fn Hacl_Hash_SHA1_digest( state: *mut Hacl_Streaming_MD_state_32, output: *mut u8, )