tvm\_tirx.sym.int\_set.union\_lower\_bound
==========================================

.. currentmodule:: tvm_tirx.sym.int_set

.. autofunction:: union_lower_bound