===========================================================
write_functional_smt2 - Generate SMT-LIB from Functional IR
===========================================================

.. raw:: latex

    \begin{comment}

.. cmd:def:: write_functional_smt2
    :title: Generate SMT-LIB from Functional IR



    .. code:: yoscrypt

        Functional SMT Backend.

   
.. raw:: latex

    \end{comment}

.. only:: latex

    ::

        
        Functional SMT Backend.