libcrux_hacl

Function Hacl_Hash_SHA2_malloc_224

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