tvm\_tirx.tirx.script.uint64x32
===============================

.. currentmodule:: tvm_tirx.tirx.script

.. autodata:: uint64x32