tvm\_tirx.sym.deduce\_bound
===========================

.. currentmodule:: tvm_tirx.sym

.. autofunction:: deduce_bound