tvm\_tirx.tirx.script.assume
============================

.. currentmodule:: tvm_tirx.tirx.script

.. autofunction:: assume