mlir_sys

Function mlirIntegerSetGetNumInequalities

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

Returns the number of inequalities in the given set.