Add tutorial for adapting write_functional_smt2#4884

Open

KrystalDelusion wants to merge 12 commits intomainfrom docs-preview-functional_tutorial

+768-78

Commits on Jan 5, 2025

functional_ir.rst: Formatting
KrystalDelusion
committed

Commits on Jan 6, 2025

Commits on Jan 24, 2025

Commits on Feb 3, 2025

docs/rosette: Sort, Struct, and PrintVisitor sections
KrystalDelusion
committed