lustrec/src/backends/C/c_backend_mauve.mli @ f1518c7c
| 1 |
open Format |
|---|---|
| 2 |
open Machine_code_types |
| 3 |
|
| 4 |
val print_mauve_header : formatter -> string -> unit |
| 5 |
|
| 6 |
val print_mauve_shell : formatter -> machine_t -> unit |
| 7 |
|
| 8 |
val print_mauve_core : formatter -> machine_t -> unit |
| 9 |
|
| 10 |
val print_mauve_fsm : formatter -> machine_t -> unit |