seal5.backends.riscv_field_types.writer

Create LLVM patches for new field types.

Functions

gen_riscv_field_types_str(field_types)
main()	Main app entrypoint.