mlir_sys

Function mlirIntegerSetGetNumEqualities

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

Returns the number of equalities in the given set.