libcrux_hacl

Function Hacl_Hash_SHA1_malloc

Source 
pub unsafe extern "C" fn Hacl_Hash_SHA1_malloc() -> *mut Hacl_Streaming_MD_state_32