tvm\_tirx.sym.int\_set.pos\_inf
===============================

.. currentmodule:: tvm_tirx.sym.int_set

.. autofunction:: pos_inf