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

.. raw:: latex

    \begin{comment}

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



    .. code:: yoscrypt

        write_functional_rosette [options] [selection] [filename]

    ::

        Functional Rosette Backend.


    .. code:: yoscrypt

        -provides

    ::

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

.. raw:: latex

    \end{comment}

.. only:: latex

    ::

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