pub unsafe extern "C" fn mlirIntegerSetGetNumInequalities(
set: MlirIntegerSet,
) -> isize
Expand description
Returns the number of inequalities in the given set.
pub unsafe extern "C" fn mlirIntegerSetGetNumInequalities(
set: MlirIntegerSet,
) -> isize
Returns the number of inequalities in the given set.