write_functional_rosette - Generate Rosette compatible Racket from Functional IR

yosys> help write_functional_rosette

write_functional_rosette [options] [selection] [filename]

Functional Rosette Backend.

-provides

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