================================================================================
write_functional_rosette - Generate Rosette compatible Racket from Functional IR
================================================================================

.. cmd:def:: write_functional_rosette
   :title: Generate Rosette compatible Racket from Functional IR

   .. only:: html



      .. code:: yoscrypt

         write_functional_rosette [options] [selection] [filename]

      ::

         Functional Rosette Backend.


      .. code:: yoscrypt

         -provides

      ::

             include 'provide' statement(s) for loading output as a module

.. only:: latex

   ::

      
          write_functional_rosette [options] [selection] [filename]
      
      Functional Rosette Backend.
      
          -provides
              include 'provide' statement(s) for loading output as a module