lustrec/src/backends/C/c_backend.mli @ f1518c7c
1 |
open Lustre_types |
---|---|
2 |
open Machine_code_types |
3 |
|
4 |
val translate_to_c : |
5 |
bool -> string -> program_t -> machine_t list -> dep_t list -> unit |
6 |
|
7 |
val print_c_header : string -> unit |