libcrux_hacl

Function hacl_free

Source 
pub unsafe extern "C" fn hacl_free(ptr: *mut c_void)