pub unsafe extern "C" fn elina_intlinearize_tcons0_array(
man: *mut elina_manager_t,
abs: *mut elina_abstract0_t,
array: *mut elina_tcons0_array_t,
pexact: *mut bool_,
discr: elina_scalar_discr_t,
type_: elina_linexpr_type_t,
meet: bool_,
boxize: bool_,
kmax: size_t,
intervalonly: bool_,
) -> elina_lincons0_array_t