Function mlir_sys::mlirIntegerSetEqual

pub unsafe extern "C" fn mlirIntegerSetEqual(
    s1: MlirIntegerSet,
    s2: MlirIntegerSet
) -> bool

Checks if two integer set objects are equal. This is a “shallow” comparison of two objects. Only the sets with some small number of constraints are uniqued and compare equal here. Set objects that represent the same integer set with different constraints may be considered non-equal by this check. Set difference followed by an (expensive) emptiness check should be used to check equivalence of the underlying integer sets.