pub unsafe extern "C" fn mlirIntegerSetGetNumInequalities(
    set: MlirIntegerSet
) -> isize
Expand description

Returns the number of inequalities in the given set.