tvm_tirx::sym::int_set

Function union_lower_bound

Source
pub fn union_lower_bound(
    sets: impl IntoIterator<Item = impl Into<IntSet>>,
) -> Result<IntSet>
Expand description

A subset of the union of sets, which may drop some of their segments (sym.UnionLowerBound).