opt_pk_forget_array

elina_sys

Function opt_pk_forget_array 

Source 
pub unsafe extern "C" fn opt_pk_forget_array(
    man: *mut elina_manager_t,
    destructive: bool_,
    o: *mut opt_pk_array_t,
    tdim: *mut elina_dim_t,
    size: size_t,
    project: bool_,
) -> *mut opt_pk_array_t