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

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

   .. only:: html



      .. code:: yoscrypt

         Functional SMT Backend.

      
.. only:: latex

   ::

      
      Functional SMT Backend.